Some remarks on revealness
Commentationes Mathematicae Universitatis Carolinae (1987)
- Volume: 028, Issue: 1, page 63-69
- ISSN: 0010-2628
Access Full Article
topHow to cite
topReferences
top- P. PUDLÁK A. SOCHOR, Models of the Alternative Set Theory, J. Symb. Logic 49 (1984), 570-585. (1984) MR0745386
- A. SOCHOR P. VOPĚNKA, Revealments, Comment. Math. Univ. Carolinae 21 (1980), 97-119. (1980) MR0566243
- 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) MR0581368