@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