Countable inductive definitions in AST
Commentationes Mathematicae Universitatis Carolinae (1986)
- Volume: 027, Issue: 1, page 17-33
- ISSN: 0010-2628
Access Full Article
topHow to cite
topReferences
top- J. MLČEK, Approximations of -classes and -classes, Comment. Math. Univ. Carolinae 20 (1979), 669-6F9. (1979) MR0555182
- Y. MOSCHOVAKIS, Elementary induction on abstract structures, North-Holland, 1974. (1974) Zbl0307.02003MR0398810
- P. VOPĚNKA, Mathematics in the Alternative Set Theory, Teubner Texte, Leipzig, 1979. (1979) MR0581368