On a weak Kelley-Morse theory of classes
Marek, Wiktor V. ; Sochor, Antonín
Commentationes Mathematicae Universitatis Carolinae, Tome 019 (1978), p. 371-381 / Harvested from Czech Digital Mathematics Library
Access to full text
Full (PDF)
Publié le : 1978-01-01
Classification:  02H13,  02K05,  02K10,  02K25,  02KXX,  03C30,  03E35,  03E50,  03E70 
@article{105860,
     author = {Wiktor V. Marek and Anton\'\i n Sochor},
     title = {On a weak Kelley-Morse theory of classes},
     journal = {Commentationes Mathematicae Universitatis Carolinae},
     volume = {019},
     year = {1978},
     pages = {371-381},
     zbl = {0377.02041},
     mrnumber = {0491176},
     language = {en},
     url = {http://dml.mathdoc.fr/item/105860}
}

Marek, Wiktor V.; Sochor, Antonín. On a weak Kelley-Morse theory of classes. Commentationes Mathematicae Universitatis Carolinae, Tome 019 (1978) pp. 371-381. http://gdmltest.u-ga.fr/item/105860/

R. Boyd G. Hensel H. Putnam A recursion-theoretie characterization of the ramified analytic hierarchy, T.A.M.S. 141 (1969), 37-62. (1969) | MR 0242673

P. J. Cohen A minimal model for set theory, Bull. Am. Math. Soc. 69 (1963), 537-540. (1963) | MR 0150036 | Zbl 0112.01003

W. Marek A. Mostowski On models of ZF set theory extendable to the models of KM theory of classes, in: Proceedings of Kiel conference, Springer LN in Math. 499 (1975), 460-542. (1975) | MR 0403973

A. Sochor Metamathematics of alternative set theory, to appear. | MR 0462948 | Zbl 0792.03035

A. Sochor The Alternative Set Theory, in: Set Theory and Hierarchy Theory, A Memorial Tribute to A. Mostowski, Springer LN in Math. 537 (1976), 259-272. (1976) | MR 0462948 | Zbl 0344.02049

P. Vopěnka Mathematics in alternative set theory, to appear. | MR 0718490

P. Zbierski Models for higher order arithmetics, Bull. Acad. Pol. Sci. 19 (1971), 557-562. (1971) | MR 0307907 | Zbl 0236.02043

P. Zbierski A classification of interpretation, to appear.