Geodesic
On a weak Kelley-Morse theory of classes
Commentationes Mathematicae Universitatis Carolinae, Tome 19 (1978) no. 2, pp. 371-381 Cet article a éte moissonné depuis la source Czech Digital Mathematics Library

Voir la notice de l'article

Classification : 02H13, 02K05, 02K10, 02K25, 02KXX, 03C30, 03E35, 03E50, 03E70 
@article{CMUC_1978_19_2_a12,
     author = {Marek, Wiktor V. and Sochor, Anton{\'\i}n},
     title = {On a weak {Kelley-Morse} theory of classes},
     journal = {Commentationes Mathematicae Universitatis Carolinae},
     pages = {371--381},
     year = {1978},
     volume = {19},
     number = {2},
     mrnumber = {0491176},
     zbl = {0377.02041},
     language = {en},
     url = {http://geodesic.mathdoc.fr/item/CMUC_1978_19_2_a12/}
}
TY  - JOUR
AU  - Marek, Wiktor V.
AU  - Sochor, Antonín
TI  - On a weak Kelley-Morse theory of classes
JO  - Commentationes Mathematicae Universitatis Carolinae
PY  - 1978
SP  - 371
EP  - 381
VL  - 19
IS  - 2
UR  - http://geodesic.mathdoc.fr/item/CMUC_1978_19_2_a12/
LA  - en
ID  - CMUC_1978_19_2_a12
ER  - 
%0 Journal Article
%A Marek, Wiktor V.
%A Sochor, Antonín
%T On a weak Kelley-Morse theory of classes
%J Commentationes Mathematicae Universitatis Carolinae
%D 1978
%P 371-381
%V 19
%N 2
%U http://geodesic.mathdoc.fr/item/CMUC_1978_19_2_a12/
%G en
%F CMUC_1978_19_2_a12
Marek, Wiktor V.; Sochor, Antonín. On a weak Kelley-Morse theory of classes. Commentationes Mathematicae Universitatis Carolinae, Tome 19 (1978) no. 2, pp. 371-381. http://geodesic.mathdoc.fr/item/CMUC_1978_19_2_a12/

[1] R. BOYD G. HENSEL H. PUTNAM: A recursion-theoretie characterization of the ramified analytic hierarchy. T.A.M.S. 141 (1969), 37-62. | MR

[2] P. J. COHEN: A minimal model for set theory. Bull. Am. Math. Soc. 69 (1963), 537-540. | MR | Zbl

[3] 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. | MR

[4] A. SOCHOR: Metamathematics of alternative set theory. to appear. | MR | Zbl

[5] 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. | MR | Zbl

[6] P. VOPĚNKA: Mathematics in alternative set theory. to appear. | MR

[7] P. ZBIERSKI: Models for higher order arithmetics. Bull. Acad. Pol. Sci. 19 (1971), 557-562. | MR | Zbl

[8] P. ZBIERSKI: A classification of interpretation. to appear.