Title of article :
Types directed by constants
Author/Authors :
Tanovi?، نويسنده , , Predrag، نويسنده ,
Issue Information :
روزنامه با شماره پیاپی سال 2010
Pages :
12
From page :
944
To page :
955
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 , Small theory , Semi-isolation
Journal title :
Annals of Pure and Applied Logic
Serial Year :
2010
Journal title :
Annals of Pure and Applied Logic
Record number :
1444450
Link To Document :
بازگشت