Switch to: References

Add citations

You must login to add citations.
  1. On uncountable hypersimple unidimensional theories.Ziv Shami - 2014 - Archive for Mathematical Logic 53 (1-2):203-210.
    We extend the dichotomy between 1-basedness and supersimplicity proved in Shami :309–332, 2011). The generalization we get is to arbitrary language, with no restrictions on the topology [we do not demand type-definabilty of the open set in the definition of essential 1-basedness from Shami :309–332, 2011)]. We conclude that every hypersimple unidimensional theory that is not s-essentially 1-based by means of the forking topology is supersimple. We also obtain a strong version of the above dichotomy in the case where the (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  • On analyzability in the forking topology for simple theories.Ziv Shami - 2006 - Annals of Pure and Applied Logic 142 (1):115-124.
    We show that in a simple theory T in which the τf-topologies are closed under projections every type analyzable in a supersimple τf-open set has ordinal SU-rank. In particular, if in addition T is unidimensional, the existence of a supersimple unbounded τf-open set implies T is supersimple. We also introduce the notion of a standard τ-metric and show that for simple theories its completeness is equivalent to the compactness of the τ-topology.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  • Continuity of SU-rank in unidimensional supersimple theories.Ziv Shami - 2016 - Archive for Mathematical Logic 55 (5-6):663-675.
    In a supersimple unidimensional theory, SU-rank is continuous and D-rank is definable.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
    		•
  • On countable simple unidimensional theories.Anand Pillay - 2003 - Journal of Symbolic Logic 68 (4):1377-1384.
    We prove that any countable simple unidimensional theory T is supersimple, under the additional assumptions that T eliminates hyperimaginaries and that the $D_\phi-ranks$ are finite and definable.
    Direct download (9 more)  
     
    Export citation  
     
    Bookmark   3 citations