| Authors: | Tanović, Predrag | Affiliations: | Mathematical Institute of the Serbian Academy of Sciences and Arts | Title: | Types directed by constants | Journal: | Annals of Pure and Applied Logic | Volume: | 161 | Issue: | 7 | First page: | 944 | Last page: | 955 | Issue Date: | 1-Apr-2010 | Rank: | M22 | ISSN: | 0168-0072 | DOI: | 10.1016/j.apal.2009.12.002 | 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 |
Keywords: | Model theory | Ordered structure | Semi-isolation | Small theory | Publisher: | Elsevier |
Show full item record
SCOPUSTM
Citations
4
checked on Nov 25, 2024
Page view(s)
10
checked on Nov 25, 2024
Google ScholarTM
Check
Altmetric
Altmetric
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.