• 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
    https://search.isc.ac/dl/search/defaultta.aspx?DTC=10&DC=1444450