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

5
checked on Apr 3, 2025

Page view(s)

13
checked on Jan 31, 2025

Google ScholarTM

Check


Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.