Weakly o-minimal structures and real closed fields

DOI10.1090/S0002-9947-00-02633-7zbMath0982.03021MaRDI QIDQ4505928

David Marker, Dugald Macpherson, Charles I. Steinhorn

Publication date: 3 October 2000

Published in: Transactions of the American Mathematical Society (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1090/s0002-9947-00-02633-7

zbMATH Keywords

real closed field; weakly o-minimal structure; inverse function theorem; ordered field; definable sets; weakly o-minimal expansions

Mathematics Subject Classification ID

03C60: Model-theoretic algebra

03C64: Model theory of ordered structures; o-minimality

12J15: Ordered fields

12L12: Model theory of fields

12J10: Valued fields

Related Items

The canonical topology on dp-minimal fields, Generalized Euler characteristic in power-bounded T-convex valued fields, ON DEFINABLE SKOLEM FUNCTIONS IN WEAKLY O-MINIMAL NONVALUATIONAL STRUCTURES, Real Milnor Fibres and Puiseux Series, Definability in o-minimal expansions of the real numbers, Topological properties of sets definable in weakly o-minimal structures, ON LINEARLY ORDERED STRUCTURES OF FINITE RANK, Externally definable quotients and NIP expansions of the real ordered additive group, A note on prime models in weakly o‐minimal structures, Non‐archimedean stratifications of tangent cones, On definability of types and relative stability, STABILIZERS, GROUPS WITH -GENERICS, AND PRC FIELDS, Vaught’s conjecture for weakly -minimal theories of finite convexity rank, Definable V-topologies, Henselianity and NIP, ON RELATIVE SEPARABILITY IN HYPERGRAPHS OF MODELS OF THEORIES, ON COMMUTATIVITY OF CIRCULARLY ORDERED C-O-STABLE GROUPS, DISTRIBUTIONS OF COUNTABLE MODELS OF QUITE O-MINIMAL EHRENFEUCHT THEORIES, Pillay's conjecture for groups definable in weakly o‐minimal non‐valuational structures, On weakly circularly minimal groups, A monotonicity theorem for dp-minimal densely ordered groups, A THEORY OF PAIRS FOR NON-VALUATIONAL STRUCTURES, A CONJECTURAL CLASSIFICATION OF STRONGLY DEPENDENT FIELDS, Convexity Relations and Generalizations of o-Minimality, Extensions of ordered theories by generic predicates, 2010–2011 Winter Meeting of the Association for Symbolic Logic, On the strong cell decomposition property for weakly o-minimal structures, One-basedness and reductions of elliptic curves over real closed fields, DP-MINIMAL VALUED FIELDS, Expansions of o-minimal structures by dense independent sets, SCE-cell decomposition and OCP in weakly o-minimal structures, Vaught's conjecture for quite o-minimal theories, Countably categorical weakly o-minimal structures of finite convexity rank, An algebraic characterization of o-minimal and weakly o-minimal MV-chains, On VC-minimal fields and dp-smallness, Locally o-minimal structures, Definable choice for a class of weakly o-minimal theories, Some definable properties of sets in non-valuational weakly o-minimal structures, One-basedness and groups of the form \(G/G ^{00}\), O-stable theories, Preservation of \(\omega\)-categoricity in expanding the models of weakly \(o\)-minimal theories, Criterion for binarity of \(\aleph_{0}\)-categorical weakly o-minimal theories, Weakly o-minimal nonvaluational structures, Strongly determined types, On ordered groups of Morley o-rank 1, Expanding 1-indiscernible countably categorical weakly o-minimal theories by equivalence relations, Vaught's conjecture for weakly o-minimal theories of convexity rank 1, Countably categorical quite o-minimal theories, Closed asymptotic couples, On expansions of models of weakly o-minimal theories by binary predicates, Open core and small groups in dense pairs of topological structures, Uniformly locally o-minimal structures and locally o-minimal structures admitting local definable cell decomposition, Algebras of distributions of binary isolating formulas for quite o-minimal theories, Maximality of the countable spectrum in small quite o-minimal theories, \(P^*\)-combinations of almost \(\omega\)-categorical weakly o-minimal theories, Piecewise monotonicity for unary functions in \(o\)-stable groups, A criterion for binarity of almost \(\omega \)-categorical weakly \(o \)-minimal theories, Almost binarity of countably categorical weakly circularly minimal structures, Algebras of distributions of binary isolating formulas for almost \(\omega \)-categorical weakly \(o\)-minimal theories, Definability in the group of infinitesimals of a compact Lie group, Quantifier elimination for o-minimal structures expanded by a valuational cut, Does weak quasi-o-minimality behave better than weak o-minimality?, Tame topology over definable uniform structures, Almost o-minimal structures and \(\mathfrak{X}\)-structures, Binarity of almost \(\omega \)-categorical quite o-minimal theories, Strong cell decomposition property in o-minimal traces, Almost \(\omega \)-categorical weakly o-minimal theories of convexity rank 1, On freedom and independence in hypergraphs of models of theories, A.D. Taimanov and model theory in Kazakhstan, Linearly ordered theories which are nearly countably categorical, Imaginaries in real closed valued fields, Algebras of distributions for binary formulas in countably categorical weakly o-minimal structures, Tame properties of sets and functions definable in weakly o-minimal structures, The elementary theory of Dedekind cuts in polynomially bounded structures, Definable functions and stratifications in power-bounded \(T\)-convex fields, On almost omega-categoricity of weakly o-minimal theories, Interpretable fields in various valued fields, The classification of dp-minimal and dp-small fields, Vapnik-Chervonenkis density in some theories without the independence property, I, Pseudo definably connected definable sets, O-MINIMALISM, CONVEXLY ORDERABLE GROUPS AND VALUED FIELDS, On model-theoretical properties in the sense of Peretyat’kin, o-minimality, and mutually interpretable theories, Binary types in ℵ₀-categorical weakly o-minimal theories, Dependent pairs, The independence property in generalized dense pairs of structures, Groups, group actions and fields definable in first-order topological structures, Model completeness of o-minimal structures expanded by Dedekind cuts, T-height in weakly o-minimal structures, Structures having o-minimal open core, 2008 Annual Meeting of the Association for Symbolic Logic, Heirs of box types in polynomially bounded structures

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Elimination of quantifiers in algebraic structures
• Real closed rings. II. Model theory
• Lectures on formally real fields
• Cell decompositions of \(C\)-minimal structures
• On variants of \(o\)-minimality
• On \(\aleph_0\)-categorical weakly o-minimal structures
• Elimination of quantifiers for ordered valuation rings
• SOME TREELIKE OBJECTS
• Definable Sets in Ordered Structures. I
• Vapnik-Chervonenkis Classes of Definable Sets
• Paires de structures O-minimales
• T-convexity and tame extensions II
• T-convexity and tame extensions