@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