Switch to: Citations

Add references

You must login to add references.
  1. On constants and the strict order property.Predrag Tanović - 2006 - Archive for Mathematical Logic 45 (4):423-430.
    Let T be a complete, countable, first-order theory with a finite number of countable models. Assuming that dcl(∅) is infinite we show that T has the strict order property.
    Download  
     
    Export citation  
     
    Bookmark   7 citations  
  • Theories with exactly three countable models and theories with algebraic prime models.Anand Pillay - 1980 - Journal of Symbolic Logic 45 (2):302-310.
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  • Theories with constants and three countable models.Predrag Tanović - 2007 - Archive for Mathematical Logic 46 (5-6):517-527.
    We prove that a countable, complete, first-order theory with infinite dcl( $ \theta $ ) and precisely three non-isomorphic countable models interprets a variant of Ehrenfeucht’s or Peretyatkin’s example.
    Download  
     
    Export citation  
     
    Bookmark   2 citations