Publication:4328833

DOI10.2307/2694974zbMATH Open1001.03039OpenAlexW2081769494MaRDI QIDQ4328833FDOQ4328833

Chris Miller

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

zbMATH Keywords

o-minimal structureintermediate value property

Mathematics Subject Classification ID

Model theory of ordered structures; o-minimality (03C64)

Cites Work

• Title not available (Why is that?)
• Definable Compactness and Definable Subgroups of o-Minimal Groups
• The field of reals with a predicate for the powers of two

Cited In (35)

• Model theoretic connected components of finitely generated nilpotent groups
• Expansions of real closed fields with the Banach fixed point property
• Fractional parts of dense additive subgroups of real numbers
• Positivstellensätze for differentiable functions
• A Note on Hieronymi’s Theorem: Every Definably Complete Structure Is Definably Baire
• CONNECTEDNESS IN STRUCTURES ON THE REAL NUMBERS: O-MINIMALITY AND UNDECIDABILITY
• 2002 European Summer Meeting of the Association for Symbolic Logic Logic Colloquium '02
• When is scalar multiplication decidable?
• Topological properties of definable sets in ordered Abelian groups of burden 2
• Title not available (Why is that?)
• Definable Tietze extension property in o-minimal expansions of ordered groups
• The non-axiomatizability of o-minimality
• 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
• Title not available (Why is that?)
• An analogue of the Baire category theorem
• Almost o-minimal structures and \(\mathfrak{X}\)-structures
• Fractals and the monadic second order theory of one successor
• LOCALLY O-MINIMAL STRUCTURES WITH TAME TOPOLOGICAL PROPERTIES
• Definably complete structures are not pseudo-enumerable
• Uniformly locally o‐minimal open core
• Definable compactness in definably complete locally o-minimal structures
• Pregeometry over locally o‐minimal structures and dimension
• Definable completeness of P-minimal fields and applications
• Decomposition into special submanifolds
• Uniformly locally o-minimal structures and locally o-minimal structures admitting local definable cell decomposition
• Expansions of real closed fields that introduce no new smooth functions
• Coarse dimension and definable sets in expansions of the ordered real vector space
• Expansions of o-minimal structures by iteration sequences
• Interpreting the projective hierarchy in expansions of the real line
• A strict Positivstellensatz for rings of definable analytic functions
• DIMENSION INEQUALITY FOR A DEFINABLY COMPLETE UNIFORMLY LOCALLY O-MINIMAL STRUCTURE OF THE SECOND KIND
• Definable continuous solutions of linear equations
• PSEUDO-FINITE SETS, PSEUDO-O-MINIMALITY
• Structures having o-minimal open core
• Tameness of definably complete locally o‐minimal structures and definable bounded multiplication

This page was built for publication: Expansions of dense linear orders with the intermediate value property

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4328833)