Countable inductive definitions in AST

Previous | Up | Next

Article

Countable inductive definitions in AST. (English). Commentationes Mathematicae Universitatis Carolinae, vol. 27 (1986), issue 1, pp. 17-33

MSC: 02B99, 02K10, 03D70, 03E70 | MR 843418 | Zbl 0614.03053

References:

[M] J. MLČEK: Approximations of $\Sigma $ -classes and $\Pi $-classes. Comment. Math. Univ. Carolinae 20 (1979), 669-6F9. MR 0555182

[MO] Y. MOSCHOVAKIS: Elementary induction on abstract structures. North-Holland, 1974. MR 0398810 | Zbl 0307.02003

[V] P. VOPĚNKA: Mathematics in the Alternative Set Theory. Teubner Texte, Leipzig, 1979. MR 0581368

Partner of