Constructibility in higher order arithmetics |
| |
Authors: | A. Sochor |
| |
Affiliation: | (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 等数据库收录! |
|