A Note on Countable Complete Theories Having Three Isomorphism Types of Countable Models

Woodrow, Robert E.

J. Symbolic Logic, Tome 41 (1976) no. 1, p. 672-680 / Harvested from Project Euclid

Résumé

With quantifier elimination and restriction of language to a binary relation symbol and constant symbols it is shown that countable complete theories having three isomorphism types of countable models are "essentially" the Ehrenfeucht example [4, $\s6$].

Publié le : 1976-09-14
Classification:

@article{1183739832,
     author = {Woodrow, Robert E.},
     title = {A Note on Countable Complete Theories Having Three Isomorphism Types of Countable Models},
     journal = {J. Symbolic Logic},
     volume = {41},
     number = {1},
     year = {1976},
     pages = { 672-680},
     language = {en},
     url = {http://dml.mathdoc.fr/item/1183739832}
}

Woodrow, Robert E. A Note on Countable Complete Theories Having Three Isomorphism Types of Countable Models. J. Symbolic Logic, Tome 41 (1976) no. 1, pp.  672-680. http://gdmltest.u-ga.fr/item/1183739832/