Model-theoretical constructions in AST. I.
Commentationes Mathematicae Universitatis Carolinae (1986)
- Volume: 027, Issue: 3, page 581-604
- ISSN: 0010-2628
Access Full Article
topHow to cite
topReferences
top- P. VOPĚNKA, Mathematics in the Alternative Set Theory, Teubner-Texte, Leipzig 1979. (1979) MR0581368
- K. ČUDA B. VOJTÁŠK0VÁ, Models of AST without choice, Comment. Math. Univ. Carolinae 25 (1984), 555-589. (1984) MR0782009
- A. SOCHOR, Metamathematics of the alternative set theory I, Comment. Math. Univ. Carolinae 20 (1979), 697-722. (1979) Zbl0433.03028MR0555184
- A. SOCHOR, Metamathematics of the alternative set theory II, Comment. Math. Univ. Carolinae 23 (1982), 55-79. (1982) Zbl0493.03030MR0653351
- C. C. CHANG H. J. KEISLER, Model theory, vol. 73, North-Holland Publ. Company, 1973. (1973) MR0409165