Model-theoretical constructions in AST. I.

Karel Čuda; Blanka Vojtášková

Commentationes Mathematicae Universitatis Carolinae (1986)

  • Volume: 027, Issue: 3, page 581-604
  • ISSN: 0010-2628

How to cite

top

Čuda, Karel, and Vojtášková, Blanka. "Model-theoretical constructions in AST. I.." Commentationes Mathematicae Universitatis Carolinae 027.3 (1986): 581-604. <http://eudml.org/doc/17485>.

@article{Čuda1986,
author = {Čuda, Karel, Vojtášková, Blanka},
journal = {Commentationes Mathematicae Universitatis Carolinae},
keywords = {alternative set theory; structure for a language; interpretation; saturation; elementary embedding; model constructions; elementary equivalent structures; limit of the elementary chain},
language = {eng},
number = {3},
pages = {581-604},
publisher = {Charles University in Prague, Faculty of Mathematics and Physics},
title = {Model-theoretical constructions in AST. I.},
url = {http://eudml.org/doc/17485},
volume = {027},
year = {1986},
}

TY - JOUR
AU - Čuda, Karel
AU - Vojtášková, Blanka
TI - Model-theoretical constructions in AST. I.
JO - Commentationes Mathematicae Universitatis Carolinae
PY - 1986
PB - Charles University in Prague, Faculty of Mathematics and Physics
VL - 027
IS - 3
SP - 581
EP - 604
LA - eng
KW - alternative set theory; structure for a language; interpretation; saturation; elementary embedding; model constructions; elementary equivalent structures; limit of the elementary chain
UR - http://eudml.org/doc/17485
ER -

References

top
  1. P. VOPĚNKA, Mathematics in the Alternative Set Theory, Teubner-Texte, Leipzig 1979. (1979) MR0581368
  2. K. ČUDA B. VOJTÁŠK0VÁ, Models of AST without choice, Comment. Math. Univ. Carolinae 25 (1984), 555-589. (1984) MR0782009
  3. A. SOCHOR, Metamathematics of the alternative set theory I, Comment. Math. Univ. Carolinae 20 (1979), 697-722. (1979) Zbl0433.03028MR0555184
  4. A. SOCHOR, Metamathematics of the alternative set theory II, Comment. Math. Univ. Carolinae 23 (1982), 55-79. (1982) Zbl0493.03030MR0653351
  5. C. C. CHANG H. J. KEISLER, Model theory, vol. 73, North-Holland Publ. Company, 1973. (1973) MR0409165

NotesEmbed ?

top

You must be logged in to post comments.