Constructibility in higher order arithmetics |
| |
| Authors: | A Sochor |
| |
| Institution: | (1) Mathematical Institute, Academy Sciences of Czech Republic, Zitua 25, 11567 Prague 1, Czech Republic |
| |
| Abstract: | Summary We define and investigate constructibility in higher order arithmetics. In particular we get an interpretation ofn-order arithmetic inn-order arithmetic without the scheme of choice such that  and the property  to be a well-ordering are absolute in it and such that this interpretation is minimal among such interpretations. |
| |
| Keywords: | 03E45 03F35 03E25 |
| 本文献已被 SpringerLink 等数据库收录！ |
|
