Definable Sets in Ordered Structures. II
From MaRDI portal
Publication:3812218
DOI10.2307/2000053zbMath0662.03024OpenAlexW4252211321WikidataQ59486598 ScholiaQ59486598MaRDI QIDQ3812218
Anand Pillay, Charles I. Steinhorn, Julia F. Knight
Publication date: 1986
Full work available at URL: https://doi.org/10.2307/2000053
elementary equivalencecoheirsO-minimal structuredefinable functionunstable structureO-minimal theories
Classification theory, stability, and related concepts in model theory (03C45) Models with special properties (saturated, rigid, etc.) (03C50) Interpolation, preservation, definability (03C40) Ordered structures (06F99)
Related Items (79)
Expansions of the real field with power functions ⋮ Constructing a group-interval in \(O\)-minimal structures ⋮ Expansions of o-minimal structures by dense independent sets ⋮ Euler characteristic in semialgebraic and other o-minimal groups ⋮ Tame topology over definable uniform structures ⋮ Turing meets Schanuel ⋮ Extending Tamm's theorem ⋮ Fiberwise properties of definable sets and functions in o-minimal structures ⋮ Łojasiewicz inequalities for sets definable in the structure \({\mathbb R}_{\text{exp}}\) ⋮ THE NON-AXIOMATIZABILITY OF O-MINIMALITY ⋮ Almost o-minimal structures and \(\mathfrak{X}\)-structures ⋮ On groups and fields definable in o-minimal structures ⋮ Definable functions and stratifications in power-bounded \(T\)-convex fields ⋮ On variants of \(o\)-minimality ⋮ Modular Ax-Lindemann-Weierstrass with derivatives ⋮ Ontologies for plane, polygonal mereotopology ⋮ Critical points for least-squares problems involving certain analytic functions, with applications to sigmoidal nets ⋮ Definable Tietze extension property in o-minimal expansions of ordered groups ⋮ A criterion for the strong cell decomposition property ⋮ Decomposition into special submanifolds ⋮ Coset-minimal groups ⋮ On model-theoretical properties in the sense of Peretyat’kin, o-minimality, and mutually interpretable theories ⋮ Structure theorems in tame expansions of o-minimal structures by a dense set ⋮ \(C\)-minimal fields, in honor of François Lucas ⋮ Transseries and Todorov-Vernaeve's asymptotic fields ⋮ Unnamed Item ⋮ Locally o-minimal structures ⋮ Structure theorems for o-minimal expansions of groups ⋮ Strong cell decomposition property in o-minimal traces ⋮ O-minimal Hauptvermutung for polyhedra. I ⋮ Tame properties of sets and functions definable in weakly o-minimal structures ⋮ Topological dynamics for groups definable in real closed field ⋮ One-dimensional groups over an o-minimal structure ⋮ Groups of dimension two and three over o-minimal structures ⋮ On the strong cell decomposition property for weakly o-minimal structures ⋮ Basics of O-minimality and Hardy Fields ⋮ Positive primitive formulae of modules over rings of semi-algebraic functions on a curve ⋮ Independence in computable algebra ⋮ Polynomial bounds for VC dimension of sigmoidal and general Pfaffian neural networks ⋮ Definable choice for a class of weakly o-minimal theories ⋮ Definable sets in Stone algebras ⋮ Some definable properties of sets in non-valuational weakly o-minimal structures ⋮ CE-cell decomposition and open cell property in o-minimal structures ⋮ COMPUTING STRENGTH OF STRUCTURES RELATED TO THE FIELD OF REAL NUMBERS ⋮ Real spectrum of ring of definable functions ⋮ Uniformly locally o-minimal structures and locally o-minimal structures admitting local definable cell decomposition ⋮ Lattice ordered o-minimal structures ⋮ Unnamed Item ⋮ Abelian \(C\)-minimal groups ⋮ Formal language properties of hybrid systems with strong resets ⋮ A representation of convex semilinear sets ⋮ Definability results for the Poisson equation ⋮ Preservation of \(\omega\)-categoricity in expanding the models of weakly \(o\)-minimal theories ⋮ Strongly minimal groups in o-minimal structures ⋮ On the number of topological types occurring in a parameterized family of arrangements ⋮ Zilber's conjecture for some o-minimal structures over the reals ⋮ Pseudo definably connected definable sets ⋮ Linear o-minimal structures ⋮ A.D. Taimanov and model theory in Kazakhstan ⋮ THE BOREL COMPLEXITY OF ISOMORPHISM FOR O-MINIMAL THEORIES ⋮ Cell decomposition and dimension function in the theory of closed ordered differential fields ⋮ Convexity Relations and Generalizations of o-Minimality ⋮ Notes on local o-minimality ⋮ Randomizing a model ⋮ One-basedness and reductions of elliptic curves over real closed fields ⋮ A general model completeness result for expansions of the real ordered field ⋮ Intersection theory for o-minimal manifolds ⋮ First order irrationality criteria for series ⋮ Definable utility in o-minimal structures. ⋮ Extended order-generic queries ⋮ CHARACTERIZING O-MINIMAL GROUPS IN TAME EXPANSIONS OF O-MINIMAL STRUCTURES ⋮ Saturation and stability in the theory of computation over the reals ⋮ Essentially periodic ordered groups ⋮ Hensel minimality I ⋮ Decisiveness of stochastic systems and its application to hybrid models ⋮ Cell decompositions of \(C\)-minimal structures ⋮ Hyperarithmetical relations in expansions of recursive structures ⋮ On the real exponential field with restricted analytic functions ⋮ An estimate for the Siciak extremal function -- subanalytic geometry approach
Cites Work
This page was built for publication: Definable Sets in Ordered Structures. II
