Switch to: References

Add citations

You must login to add citations.
  1. Connectedness in Structures on the Real Numbers: O-Minimality and Undecidability.Alfred Dolich, Chris Miller, Alex Savatovsky & Athipat Thamrongthanyalak - 2022 - Journal of Symbolic Logic 87 (3):1243-1259.
    We initiate an investigation of structures on the set of real numbers having the property that path components of definable sets are definable. All o-minimal structures on $(\mathbb {R},<)$ have the property, as do all expansions of $(\mathbb {R},+,\cdot,\mathbb {N})$. Our main analytic-geometric result is that any such expansion of $(\mathbb {R},<,+)$ by Boolean combinations of open sets (of any arities) either is o-minimal or defines an isomorph of $(\mathbb N,+,\cdot )$. We also show that any given expansion of $(\mathbb (...)
    Download  
     
    Export citation  
     
    Bookmark