Switch to: References

Add citations

You must login to add citations.
  1. Abelian C-minimal groups.Patrick Simonetta - 2001 - Annals of Pure and Applied Logic 110 (1-3):1-22.
    Macpherson and Steinhorn 165–209) introduce some variants of the notion of o-minimality. One of the most interesting is C-minimality, which provides a natural setting to study algebraically closed-valued fields and some valued groups. In this paper we go further in the study of the structure of C-minimal valued groups, giving a partial characterization in the abelian case. We obtain the following principle: for abelian valued groups G for which the valuation satisfies some kind of compatibility with the multiplication by any (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  • The borel complexity of isomorphism for o-minimal theories.Richard Rast & Davender Singh Sahota - 2017 - Journal of Symbolic Logic 82 (2):453-473.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  • On Superstable Expansions of Free Abelian Groups.Daniel Palacín & Rizos Sklinos - 2018 - Notre Dame Journal of Formal Logic 59 (2):157-169.
    We prove that has no proper superstable expansions of finite Lascar rank. Nevertheless, this structure equipped with a predicate defining powers of a given natural number is superstable of Lascar rank ω. Additionally, our methods yield other superstable expansions such as equipped with the set of factorial elements.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   6 citations  
  • Definable types in o-minimal theories.David Marker & Charles I. Steinhorn - 1994 - Journal of Symbolic Logic 59 (1):185-198.
  • Extending Partial Orders on o‐Minimal Structures to Definable Total Orders.Dugald Macpherson & Charles Steinhorn - 1997 - Mathematical Logic Quarterly 43 (4):456-464.
    It is shown that if is an o-minimal structure such that is a dense total order and ≾ is a parameter-definable partial order on M, then ≾ has an extension to a definable total order.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  • Simple types in discretely ordered structures.Dejan Ilić - 2014 - Archive for Mathematical Logic 53 (7-8):929-947.
    We introduce a notion of simplicity for types in discretely ordered first order structures. We prove that all the structure on the locus of a simple type is induced exclusively by the ordering relation. As an application we determine all possible expansions of satisfying CB = 1.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  • 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.
  • A new dp-minimal expansion of the integers.Eran Alouf & Christian D’elbée - 2019 - Journal of Symbolic Logic 84 (2):632-663.