| Title:
|
On a weak Kelley-Morse theory of classes (English) |
| Author:
|
Marek, Wiktor V. |
| Author:
|
Sochor, Antonín |
| Language:
|
English |
| Journal:
|
Commentationes Mathematicae Universitatis Carolinae |
| ISSN:
|
0010-2628 (print) |
| ISSN:
|
1213-7243 (online) |
| Volume:
|
19 |
| Issue:
|
2 |
| Year:
|
1978 |
| Pages:
|
371-381 |
| . |
| Category:
|
math |
| . |
| MSC:
|
02H13 |
| MSC:
|
02K05 |
| MSC:
|
02K10 |
| MSC:
|
02K25 |
| MSC:
|
02KXX |
| MSC:
|
03C30 |
| MSC:
|
03E35 |
| MSC:
|
03E50 |
| MSC:
|
03E70 |
| idZBL:
|
Zbl 0377.02041 |
| idMR:
|
MR0491176 |
| . |
| Date available:
|
2008-06-05T20:58:30Z |
| Last updated:
|
2012-04-28 |
| Stable URL:
|
http://hdl.handle.net/10338.dmlcz/105860 |
| . |
| Reference:
|
[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 |
| Reference:
|
[2] P. J. COHEN: A minimal model for set theory.Bull. Am. Math. Soc. 69 (1963), 537-540. Zbl 0112.01003, MR 0150036 |
| Reference:
|
[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 |
| Reference:
|
[4] A. SOCHOR: Metamathematics of alternative set theory.to appear. Zbl 0792.03035, MR 0462948 |
| Reference:
|
[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. Zbl 0344.02049, MR 0462948 |
| Reference:
|
[6] P. VOPĚNKA: Mathematics in alternative set theory.to appear. MR 0718490 |
| Reference:
|
[7] P. ZBIERSKI: Models for higher order arithmetics.Bull. Acad. Pol. Sci. 19 (1971), 557-562. Zbl 0236.02043, MR 0307907 |
| Reference:
|
[8] P. ZBIERSKI: A classification of interpretation.to appear. |
| . |
