Previous |  Up |  Next

Article

References:
[Č] K. ČUDA: The consistency of the measurability of projective semisets. Comment. Math. Univ. Carolinae 27 (1986), 103-121. MR 0843424
[Č-V] K.ČUDA P. VOPĚNKA: Real and imaginary classes. Comment. Math. Univ. Carolinae 20 (1979), 639-653. MR 0555180 | Zbl 0433.03031
[M] J. MLČEK: Approximations of $\Sigma $-classes and $\Pi $-classes. Comment. Math. Univ. Carolinae 20 (1979), 669-679. MR 0555182
[MO] Y. MOSCHOVAKIS: Elementary induction on abstract structures. North Holland P. C. 1974. MR 0398810 | Zbl 0307.02003
[T] A. TZOUVARAS: Countable inductive definitions. Comment. Math. Univ. Carolinae 27 (1986), 17-33. MR 0843418 | Zbl 0614.03053
[V] P. VOPĚNKA: Mathematics in the Alternative Set Theory. Teubner-Texte, Leipzig, 1979. MR 0581368
Partner of
EuDML logo