Constructibility and shiftings of view
Sochor, Antonín
Commentationes Mathematicae Universitatis Carolinae, Tome 026 (1985), p. 477-498 / Harvested from Czech Digital Mathematics Library
Access to full text
Full (PDF)
Publié le : 1985-01-01
Classification:  03E25,  03E35,  03E45,  03E70,  03H15 
@article{106388,
     author = {Anton\'\i n Sochor},
     title = {Constructibility and shiftings of view},
     journal = {Commentationes Mathematicae Universitatis Carolinae},
     volume = {026},
     year = {1985},
     pages = {477-498},
     zbl = {0583.03040},
     mrnumber = {817822},
     language = {en},
     url = {http://dml.mathdoc.fr/item/106388}
}

Sochor, Antonín. Constructibility and shiftings of view. Commentationes Mathematicae Universitatis Carolinae, Tome 026 (1985) pp. 477-498. http://gdmltest.u-ga.fr/item/106388/

K. Gödel The consistency of the axiom of choice and of the generalized continuum hypothesis, Princeton University Press, 1940. (1940)

K. Čuda; P. Vopěnka Real and imaginary classes in the - alternative set theory, Comment. Math. Univ. Carolinae 20 (1979), 639-653. (1979) | MR 0555180

W. Marek; A. Sochor On a weak Kelley-Morse theory of classes, Comment. Math. Univ. Carolinae 19 (1978), 371-381. (1978) | MR 0491176 | Zbl 0377.02041

A. Sochor Metamathematics of the alternative set theory I, Comment. Math. Univ. Carolinae 20 (1979), 697-722. (1979) | MR 0555184 | Zbl 0433.03028

A. Sochor Metamathematics of the alternative set theory III, Comment. Math. Univ. Carolinae 24 (1983), 137-154. (1983) | MR 0703933 | Zbl 0531.03031

A. Sochor; P. Vopěnka Endomorphio universes and their standard extensions, Comment. Math. Univ. Carolinae 20 (1979), 605-629. (1979) | MR 0555178

A. Sochor; P. Vopěnka Revealments, Comment. Math. Univ. Carolinae 21 (1980), 97-118. (1980) | MR 0566243

A. Sochor; P. Vopěnka Shiftings of the horizon, Comment. Math. Univ. Carolinae 24 (1983), 127-136. (1983) | MR 0703932

P. Vopěnka Mathematics in the alternative set theory, Teubner-Texte, Leipzig 1979. (1979) | MR 0581368