Expansions of dense linear orders with the intermediate value property
From MaRDI portal
Publication:4328833
DOI10.2307/2694974zbMath1001.03039OpenAlexW2081769494MaRDI QIDQ4328833
Publication date: 11 December 2002
Published in: Journal of Symbolic Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.2307/2694974
Related Items
Fractional parts of dense additive subgroups of real numbers ⋮ Interpreting the projective hierarchy in expansions of the real line ⋮ THE NON-AXIOMATIZABILITY OF O-MINIMALITY ⋮ Almost o-minimal structures and \(\mathfrak{X}\)-structures ⋮ Definable completeness of P-minimal fields and applications ⋮ CONNECTEDNESS IN STRUCTURES ON THE REAL NUMBERS: O-MINIMALITY AND UNDECIDABILITY ⋮ Expansions of real closed fields that introduce no new smooth functions ⋮ Definable Tietze extension property in o-minimal expansions of ordered groups ⋮ Coarse dimension and definable sets in expansions of the ordered real vector space ⋮ The surjectivity and the continuity of definable functions in some definably complete locally o-minimal expansions and the Grothendieck ring of almost o-minimal structures ⋮ Fractals and the monadic second order theory of one successor ⋮ Uniformly locally o‐minimal open core ⋮ Tameness of definably complete locally o‐minimal structures and definable bounded multiplication ⋮ Decomposition into special submanifolds ⋮ Topological properties of definable sets in ordered Abelian groups of burden 2 ⋮ Pregeometry over locally o‐minimal structures and dimension ⋮ Definably complete structures are not pseudo-enumerable ⋮ Unnamed Item ⋮ A Note on Hieronymi’s Theorem: Every Definably Complete Structure Is Definably Baire ⋮ Structures having o-minimal open core ⋮ Definable continuous solutions of linear equations ⋮ PSEUDO-FINITE SETS, PSEUDO-O-MINIMALITY ⋮ A strict Positivstellensatz for rings of definable analytic functions ⋮ An analogue of the Baire category theorem ⋮ Model theoretic connected components of finitely generated nilpotent groups ⋮ Uniformly locally o-minimal structures and locally o-minimal structures admitting local definable cell decomposition ⋮ Positivstellensätze for differentiable functions ⋮ Expansions of o-minimal structures by iteration sequences ⋮ 2002 European Summer Meeting of the Association for Symbolic Logic Logic Colloquium '02 ⋮ When is scalar multiplication decidable? ⋮ Unnamed Item ⋮ DIMENSION INEQUALITY FOR A DEFINABLY COMPLETE UNIFORMLY LOCALLY O-MINIMAL STRUCTURE OF THE SECOND KIND ⋮ LOCALLY O-MINIMAL STRUCTURES WITH TAME TOPOLOGICAL PROPERTIES
Cites Work
