Locally o-minimal structures and structures with locally o-minimal open core
The paper studies local o-minimality in the framework of definably complete first-order expansions \(K\) of ordered fields. Recall that \(K\) is definably complete if and only if every definable subset has a (possibly infinite) supremum. Local o-minimality provides here a natural generalisation of o-minimality, asking that, for every definable \(X \subseteq K\) and for every \(x \in K\), there is \(y > x\) in \(X\) such that \((x, y)\) is either included into \(X\) or disjoint from \(X\). Moreover, the open core of \(K\) is the reduct of \(K\) generated by all the open subsets of \(K^n\) when \(n\) ranges over the positive integers. The main theorem of the paper characterizes the structures \(K\) with locally o-minimal open core as those where every definable discrete subset is bounded. Other equivalent characterizations are provided. As a consequence, \(K\) has o-minimal open core if and only if (for instance) every definable closed discrete subset of \(K\) is finite. It is also shown that, if \(K\) is locally o-minimal and \(A\) is a proper dense elementary substructure of \(K\), then \(K\) is the open core of \((K, A)\). Furthermore the theory of the pair \((K, A)\) is uniquely determined by that of \(K\). The proofs often rely on relevant topological notions and tools. In fact, it is underlined that all the involved structures \(K\) are definably Baire, that is, are not the union af a definable increasing family of nowhere dense subsets.
- Uniformly locally o-minimal structures and locally o-minimal structures admitting local definable cell decomposition
- One Lie group to define them all
- Almost o-minimal structures and \(\mathfrak{X}\)-structures
- Computable axiomatizability of elementary classes
- A fundamental dichotomy for definably complete expansions of ordered fields
- O-minimalism
- A note on Hieronymi's theorem: every definably complete structure is definably Baire
- Structures having o-minimal open core
- Notes on local o-minimality
- Toward a model theory for transseries
- Locally o-minimal structures
- D-minimal expansions of the real field have the zero set property
- scientific article; zbMATH DE number 1444018 (Why is no real title available?)
- Pseudo-finite sets, pseudo-o-minimality
- Expansions which introduce no new open sets
- LOCALLY O-MINIMAL STRUCTURES WITH TAME TOPOLOGICAL PROPERTIES
- Pathological examples of structures with o‐minimal open core
- Uniformly locally o‐minimal open core
- Tameness of definably complete locally o‐minimal structures and definable bounded multiplication
- Decomposition into special submanifolds
- Pregeometry over locally o‐minimal structures and dimension
- Definably complete structures are not pseudo-enumerable
- Expansions of real closed fields with the Banach fixed point property
- Definable compactness in definably complete locally o-minimal structures
- Lipschitz curve selection and its application to Thamrongthanyalak's open problem
- Constructible structures and constructible open cores
- Notes on definable imbedding theorems and definable groups
- Definable quotients in locally o-minimal structures
- Dimension and topology in transserial tame pairs
This page was built for publication: Locally o-minimal structures and structures with locally o-minimal open core
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1935863)
