@article{106716, author = {Anton\'\i n Sochor and Petr Vop\v enka}, title = {Constructions of classes by transfinite induction in AST}, journal = {Commentationes Mathematicae Universitatis Carolinae}, volume = {030}, year = {1989}, pages = {155-161}, zbl = {0672.03036}, mrnumber = {995714}, language = {en}, url = {http://dml.mathdoc.fr/item/106716} }
Sochor, Antonín; Vopěnka, Petr. Constructions of classes by transfinite induction in AST. Commentationes Mathematicae Universitatis Carolinae, Tome 030 (1989) pp. 155-161. http://gdmltest.u-ga.fr/item/106716/
Real and imaginary classes in the alternative set theory, CMUC 20 (1979), 639-653. (1979) | MR 0555180
Notes on revealed classes, CMUC 26 (1985), 499-514. (1985) | MR 0817823 | Zbl 0583.03041
A method for constructing some endomorphic universes, CMUC 20 (1979), 655-668. (1979) | MR 0555181
Constructions of endomorphic universes and similarities, CMUC 23 (1982), 557-577. (1982) | MR 0677863
Mathematics in the alternative set theory, Teubner Texte (1979). (1979) | MR 0581368