@article{106211,
author = {Anton\'\i n Sochor and Petr Vop\v enka},
title = {Shiftings of the horizon},
journal = {Commentationes Mathematicae Universitatis Carolinae},
volume = {024},
year = {1983},
pages = {127-136},
zbl = {0524.03045},
mrnumber = {703932},
language = {en},
url = {http://dml.mathdoc.fr/item/106211}
}
Sochor, Antonín; Vopěnka, Petr. Shiftings of the horizon. Commentationes Mathematicae Universitatis Carolinae, Tome 024 (1983) pp. 127-136. http://gdmltest.u-ga.fr/item/106211/
Models of the alternative set theory, to appear. | MR 0745386
Metamathematics of the alternative set theory I, Comment. Math. Univ. Carolinae 20 (1979), 697-722. (1979) | MR 0555184 | Zbl 0433.03028
Endomorphic universes and their standard extensions, Comment. Math. Univ. Carolinae 20 (1979), 605-629. (1979) | MR 0555178
Revealments, Comment. Math. Univ. Carolinae 21 (1980), 97-118. (1980) | MR 0566243
Mathematics in the alternative set theory, Teubner Texte, Leipzig 1979. (1979) | MR 0581368