| Article ID | Journal | Published Year | Pages | File Type |
|---|---|---|---|---|
| 4662125 | Annals of Pure and Applied Logic | 2010 | 12 Pages |
Abstract
Let T be a complete, countable, first-order theory having infinite models. We introduce types directed by constants, and prove that their presence in a model of T guaranties the maximal number of non-isomorphic countable models : I(ℵ0,T)=2ℵ0.
Related Topics
Physical Sciences and Engineering
Mathematics
Logic
