Switch to: References

Add citations

You must login to add citations.
  1. Generic Expansions of Geometric Theories.Somaye Jalili, Massoud Pourmahdian & Nazanin Roshandel Tavana - forthcoming - Journal of Symbolic Logic:1-22.
    As a continuation of ideas initiated in [19], we study bi-colored (generic) expansions of geometric theories in the style of the Fraïssé–Hrushovski construction method. Here we examine that the properties $NTP_{2}$, strongness, $NSOP_{1}$, and simplicity can be transferred to the expansions. As a consequence, while the corresponding bi-colored expansion of a red non-principal ultraproduct of p-adic fields is $NTP_{2}$, the expansion of algebraically closed fields with generic automorphism is a simple theory. Furthermore, these theories are strong with $\operatorname {\mathrm {bdn}}(\text (...)
    Download  
     
    Export citation  
     
    Bookmark  
  • Companionability characterization for the expansion of an o-minimal theory by a dense subgroup.Alexi Block Gorman - 2023 - Annals of Pure and Applied Logic 174 (10):103316.
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  • NIP for some pair-like theories.Gareth Boxall - 2011 - Archive for Mathematical Logic 50 (3-4):353-359.
    Generalising work of Berenstein, Dolich and Onshuus (Preprint 145 on MODNET Preprint server, 2008) and Günaydın and Hieronymi (Preprint 146 on MODNET Preprint server, 2010), we give sufficient conditions for a theory TP to inherit N I P from T, where TP is an expansion of the theory T by a unary predicate P. We apply our result to theories, studied by Belegradek and Zilber (J. Lond. Math. Soc. 78:563–579, 2008), of the real field with a subgroup of the unit (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  • Expansions of o-minimal structures by dense independent sets.Alfred Dolich, Chris Miller & Charles Steinhorn - 2016 - Annals of Pure and Applied Logic 167 (8):684-706.
    Download  
     
    Export citation  
     
    Bookmark   12 citations  
  • Open core and small groups in dense pairs of topological structures.Elías Baro & Amador Martin-Pizarro - 2021 - Annals of Pure and Applied Logic 172 (1):102858.
    Dense pairs of geometric topological fields have tame open core, that is, every definable open subset in the pair is already definable in the reduct. We fix a minor gap in the published version of van den Dries's seminal work on dense pairs of o-minimal groups, and show that every definable unary function in a dense pair of geometric topological fields agrees with a definable function in the reduct, off a small definable subset, that is, a definable set internal to (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  • Fields with a dense-codense linearly independent multiplicative subgroup.Alexander Berenstein & Evgueni Vassiliev - 2020 - Archive for Mathematical Logic 59 (1-2):197-228.
    We study expansions of an algebraically closed field K or a real closed field R with a linearly independent subgroup G of the multiplicative group of the field or the unit circle group \\), satisfying a density/codensity condition. Since the set G is neither algebraically closed nor algebraically independent, the expansion can be viewed as “intermediate” between the two other types of dense/codense expansions of geometric theories: lovely pairs and H-structures. We show that in both the algebraically closed field and (...)
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  • Wild theories with o-minimal open core.Philipp Hieronymi, Travis Nell & Erik Walsberg - 2018 - Annals of Pure and Applied Logic 169 (2):146-163.
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  • Expansions which introduce no new open sets.Gareth Boxall & Philipp Hieromyni - 2012 - Journal of Symbolic Logic 77 (1):111-121.
    We consider the question of when an expansion of a first-order topological structure has the property that every open set definable in the expansion is definable in the original structure. This question has been investigated by Dolich, Miller and Steinhorn in the setting of ordered structures as part of their work on the property of having o-minimal open core. We answer the question in a fairly general setting and provide conditions which in practice are often easy to check. We give (...)
    Download  
     
    Export citation  
     
    Bookmark   10 citations  
  • Generic trivializations of geometric theories.Alexander Berenstein & Evgueni Vassiliev - 2014 - Mathematical Logic Quarterly 60 (4-5):289-303.
    We study the theory of the structure induced by parameter free formulas on a “dense” algebraically independent subset of a model of a geometric theory T. We show that while being a trivial geometric theory, inherits most of the model theoretic complexity of T related to stability, simplicity, rosiness, the NIP and the NTP2. In particular, we show that T is strongly minimal, supersimple of SU‐rank 1, has the NIP or the NTP2 exactly when has these properties. We show that (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations