Theories with a Finite Number of Countable Models

Woodrow, Robert E.

J. Symbolic Logic, Tome 43 (1978) no. 1, p. 442-455 / Harvested from Project Euclid

Résumé

We give two examples. $T_0$ has nine countable models and a nonprincipal 1-type which contains infinitely many 2-types. $T_1$ has four models and an inessential extension $T_2$ having infinitely many models.

Publié le : 1978-09-14
Classification:

@article{1183740249,
     author = {Woodrow, Robert E.},
     title = {Theories with a Finite Number of Countable Models},
     journal = {J. Symbolic Logic},
     volume = {43},
     number = {1},
     year = {1978},
     pages = { 442-455},
     language = {en},
     url = {http://dml.mathdoc.fr/item/1183740249}
}

Woodrow, Robert E. Theories with a Finite Number of Countable Models. J. Symbolic Logic, Tome 43 (1978) no. 1, pp.  442-455. http://gdmltest.u-ga.fr/item/1183740249/