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 the forking topology of a reduct of a simple theory.Ziv Shami - 2020 - Archive for Mathematical Logic 59 (3-4):313-324.
    Let T be a simple L-theory and let \ be a reduct of T to a sublanguage \ of L. For variables x, we call an \-invariant set \\) in \ a universal transducer if for every formula \\in L^-\) and every a, $$\begin{aligned} \phi ^-\ L^-\text{-forks } \text{ over }\ \emptyset \ \text{ iff } \Gamma \wedge \phi ^-\ L\text{-forks } \text{ over }\ \emptyset. \end{aligned}$$We show that there is a greatest universal transducer \ and it is type-definable. In (...)
    No categories
    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