About DML-CZ | FAQ | Conditions of Use | Math Archives | Contact Us
  Previous |  Up |  Next

Article

First Page Preview
Marek, Wiktor V. ; Sochor, Antonín
On a weak Kelley-Morse theory of classes. (English). Commentationes Mathematicae Universitatis Carolinae, vol. 19 (1978), issue 2, pp. 371-381
MSC: 02H13, 02K05, 02K10, 02K25, 02KXX, 03C30, 03E35, 03E50, 03E70 | MR 0491176 | Zbl 0377.02041
References:
[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 0242673
[2] P. J. COHEN: A minimal model for set theory. Bull. Am. Math. Soc. 69 (1963), 537-540. MR 0150036 | Zbl 0112.01003
[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 0403973
[4] A. SOCHOR: Metamathematics of alternative set theory. to appear. MR 0462948 | Zbl 0792.03035
[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 0462948 | Zbl 0344.02049
[6] P. VOPĚNKA: Mathematics in alternative set theory. to appear. MR 0718490
[7] P. ZBIERSKI: Models for higher order arithmetics. Bull. Acad. Pol. Sci. 19 (1971), 557-562. MR 0307907 | Zbl 0236.02043
[8] P. ZBIERSKI: A classification of interpretation. to appear.
Partner of
EuDML logo