Some remarks on revealness
Commentationes Mathematicae Universitatis Carolinae, Tome 28 (1987) no. 1, pp. 63-69
@article{CMUC_1987_28_1_a6,
author = {Tzouvaras, Athanossios},
title = {Some remarks on revealness},
journal = {Commentationes Mathematicae Universitatis Carolinae},
pages = {63--69},
year = {1987},
volume = {28},
number = {1},
mrnumber = {889768},
zbl = {0617.03032},
language = {en},
url = {http://geodesic.mathdoc.fr/item/CMUC_1987_28_1_a6/}
}
Tzouvaras, Athanossios. Some remarks on revealness. Commentationes Mathematicae Universitatis Carolinae, Tome 28 (1987) no. 1, pp. 63-69. http://geodesic.mathdoc.fr/item/CMUC_1987_28_1_a6/
[P-S] P. PUDLÁK A. SOCHOR: Models of the Alternative Set Theory. J. Symb. Logic 49 (1984), 570-585. | MR
[S-V] A. SOCHOR P. VOPĚNKA: Revealments. Comment. Math. Univ. Carolinae 21 (1980), 97-119. | MR
[T] A. TZOUVARAS: Definability degrees for classes in AST. submitted to Comment. Math. Univ. Carolinae.
[V] P. VOPĚNKA: Mathematics in the Alternative Set Theory. Teubner-Texte, Leipzig 1979. | MR