Switch to: References

Add citations

You must login to add citations.
  1. Some variants of Vaught's conjecture from the perspective of algebraic logic.G. Sagi & D. Sziraki - 2012 - Logic Journal of the IGPL 20 (6):1064-1082.
  • The number of uncountable models of omega-stable theories.Jürgen Saffe - 1983 - Annals of Mathematical Logic 24 (3):231.
  • An Old Friend Revisited: Countable Models of ω-Stable Theories.Michael C. Laskowski - 2007 - Notre Dame Journal of Formal Logic 48 (1):133-141.
    We work in the context of ω-stable theories. We obtain a natural, algebraic equivalent of ENI-NDOP and discuss recent joint proofs with Shelah that if an ω-stable theory has either ENI-DOP or is ENI-NDOP and is ENI-deep, then the set of models of T with universe ω is Borel complete.
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  • Comparing Borel Reducibility and Depth of an ω-Stable Theory.Martin Koerwien - 2009 - Notre Dame Journal of Formal Logic 50 (4):365-380.
    In "A proof of Vaught's conjecture for ω-stable theories," the notions of ENI-NDOP and eni-depth have been introduced, which are variants of the notions of NDOP and depth known from Shelah's classification theory. First, we show that for an ω-stable first-order complete theory, ENI-NDOP allows tree decompositions of countable models. Then we discuss the relationship between eni-depth and the complexity of the isomorphism relation for countable models of such a theory in terms of Borel reducibility as introduced by Friedman and (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark