Title of article :
Types directed by constants
Author/Authors :
Tanovi?، نويسنده , , Predrag، نويسنده ,
Issue Information :
روزنامه با شماره پیاپی سال 2010
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
Journal title :
Annals of Pure and Applied Logic