Model-theoretical constructions in AST. I.

Previous | Up | Next

Article

Model-theoretical constructions in AST. I. (English). Commentationes Mathematicae Universitatis Carolinae, vol. 27 (1986), issue 3, pp. 581-604

MSC: 03C30, 03C50, 03E70 | MR 873630 | Zbl 0617.03036

References:

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

[Č-Vo] K. ČUDA B. VOJTÁŠK0VÁ: Models of AST without choice. Comment. Math. Univ. Carolinae 25 (1984), 555-589. MR 0782009

[S1] A. SOCHOR: Metamathematics of the alternative set theory I. Comment. Math. Univ. Carolinae 20 (1979), 697-722. MR 0555184 | Zbl 0433.03028

[S2] A. SOCHOR: Metamathematics of the alternative set theory II. Comment. Math. Univ. Carolinae 23 (1982), 55-79. MR 0653351 | Zbl 0493.03030

[CH-K] C. C. CHANG H. J. KEISLER: Model theory. vol. 73, North-Holland Publ. Company, 1973. MR 0409165

Partner of