Some remarks on revealness
Tzouvaras, Athanossios
Commentationes Mathematicae Universitatis Carolinae, Tome 028 (1987), p. 63-69 / Harvested from Czech Digital Mathematics Library
Publié le : 1987-01-01
Classification:  03E70
@article{106509,
     author = {Athanossios Tzouvaras},
     title = {Some remarks on revealness},
     journal = {Commentationes Mathematicae Universitatis Carolinae},
     volume = {028},
     year = {1987},
     pages = {63-69},
     zbl = {0617.03032},
     mrnumber = {889768},
     language = {en},
     url = {http://dml.mathdoc.fr/item/106509}
}
Tzouvaras, Athanossios. Some remarks on revealness. Commentationes Mathematicae Universitatis Carolinae, Tome 028 (1987) pp. 63-69. http://gdmltest.u-ga.fr/item/106509/

P. Pudlák A. Sochor Models of the Alternative Set Theory, J. Symb. Logic 49 (1984), 570-585. (1984) | MR 0745386

A. Sochor P. Vopěnka Revealments, Comment. Math. Univ. Carolinae 21 (1980), 97-119. (1980) | MR 0566243

A. Tzouvaras Definability degrees for classes in AST, submitted to Comment. Math. Univ. Carolinae.

P. Vopěnka Mathematics in the Alternative Set Theory, Teubner-Texte, Leipzig 1979. (1979) | MR 0581368