The axiom of reflection
Sochor, Antonín ; Vopěnka, Petr
Commentationes Mathematicae Universitatis Carolinae, Tome 022 (1981), p. 87-111 / Harvested from Czech Digital Mathematics Library
Access to full text
Full (PDF)
Publié le : 1981-01-01
Classification:  02H13,  02H20,  02K10,  02K99,  03C20,  03E65,  03E70,  03H20,  03H99 
@article{106055,
     author = {Anton\'\i n Sochor and Petr Vop\v enka},
     title = {The axiom of reflection},
     journal = {Commentationes Mathematicae Universitatis Carolinae},
     volume = {022},
     year = {1981},
     pages = {87-111},
     zbl = {0454.03027},
     mrnumber = {609938},
     language = {en},
     url = {http://dml.mathdoc.fr/item/106055}
}

Sochor, Antonín; Vopěnka, Petr. The axiom of reflection. Commentationes Mathematicae Universitatis Carolinae, Tome 022 (1981) pp. 87-111. http://gdmltest.u-ga.fr/item/106055/

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

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 P. Vopěnka Endomorphic 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