Definable Sets in Ordered Structures. I

From MaRDI portal

Publication:3812217

Jump to:navigation, search

DOI10.2307/2000052zbMath0662.03023OpenAlexW4243682923WikidataQ59486597 ScholiaQ59486597MaRDI QIDQ3812217

Charles I. Steinhorn, Anand Pillay

Publication date: 1986

Full work available at URL: https://doi.org/10.2307/2000052

zbMATH Keywords

elementary equivalence coheirs O-minimal structure definable function unstable structure O-minimal theories

Mathematics Subject Classification ID

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

Abelian \(C\)-minimal valued groups, 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, On \(\eta_{\alpha}\)-groups and fields, One-dimensional groups definable in o-minimal structures, Euler characteristic in semialgebraic and other o-minimal groups, Extending Tamm's theorem, First-order queries on databases embedded in an infinite structure, Fiberwise properties of definable sets and functions in o-minimal structures, On the expressiveness and decidability of o-minimal hybrid systems, CONVEXLY ORDERABLE GROUPS AND VALUED FIELDS, Almost o-minimal structures and \(\mathfrak{X}\)-structures, Pseudo completions and completions in stages of o-minimal structures, On groups and fields definable in o-minimal structures, Criterion for binarity of \(\aleph_{0}\)-categorical weakly o-minimal theories, Definable functions and stratifications in power-bounded \(T\)-convex fields, On the Reeb spaces of definable maps, The domination monoid in o-minimal theories, On ordered groups of Morley o-rank 1, On variants of \(o\)-minimality, Modular Ax-Lindemann-Weierstrass with derivatives, Orbits of subsets of the monster model and geometric theories, A generalization of the Tarski-Seidenberg theorem, and some nondefinability results, Ontologies for plane, polygonal mereotopology, An algebraic characterization of o-minimal and weakly o-minimal MV-chains, On the Pila-Wilkie theorem, Vaught's conjecture for monomorphic theories, Coset-minimal groups, A note on prime models in weakly o‐minimal structures, On definability of types and relative stability, On model-theoretical properties in the sense of Peretyat’kin, o-minimality, and mutually interpretable theories, Countably categorical quite o-minimal theories, Weighted o-minimal hybrid systems, Topological differential fields, 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, Comparison theorems for o-minimal singular (co)homology, \(o\)-minimality and the André-Oort conjecture for \(\mathbb{C}^{n}\), Unnamed Item, On o-amorphous sets, 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, Structures having o-minimal open core, Unnamed Item, Basics of O-minimality and Hardy Fields, Positive primitive formulae of modules over rings of semi-algebraic functions on a curve, A structure theorem for abelian quasi-ordered groups, Independence in computable algebra, \(R\)-analytic functions, Definable choice for a class of weakly o-minimal theories, On Pillay's conjecture in the general case, What is o-minimality?, Some definable properties of sets in non-valuational weakly o-minimal structures, CE-cell decomposition and open cell property in o-minimal structures, O-stable theories, Real spectrum of ring of definable functions, Uniformly locally o-minimal structures and locally o-minimal structures admitting local definable cell decomposition, Unnamed Item, Exponentiation is Hard to Avoid, A survey of homogeneous structures, Preservation of \(\omega\)-categoricity in expanding the models of weakly \(o\)-minimal theories, Cartan-decomposition subgroups of 𝑆𝑂(2,𝑛), On algebras of distributions of binary isolating formulas for theories of abelian groups and their ordered enrichments, On freely generated \(E\)-subrings, Topologies, ranks, and closures for families of theories. II, Definable Sets in Ordered Structures. III, On the number of topological types occurring in a parameterized family of arrangements, Zilber's conjecture for some o-minimal structures over the reals, Unnamed Item, Pseudo definably connected definable sets, Linear o-minimal structures, Locally injective maps in o-minimal structures without poles are surjective, A.D. Taimanov and model theory in Kazakhstan, THE BOREL COMPLEXITY OF ISOMORPHISM FOR O-MINIMAL THEORIES, Further notes on cell decomposition in closed ordered differential fields, Cell decomposition and dimension function in the theory of closed ordered differential fields, Almost binarity of countably categorical weakly circularly minimal structures, Notes on local o-minimality, Counting special points: Logic, diophantine geometry, and transcendence theory, A growth dichotomy for o-minimal expansions of ordered groups, Intersection theory for o-minimal manifolds, Definable utility in o-minimal structures., Definable Sets in Ordered Structures. II, Extended order-generic queries, Saturation and stability in the theory of computation over the reals, Essentially periodic ordered groups, o-minimal theories with an automorphism, Definably simple groups in o-minimal structures, Decisiveness of stochastic systems and its application to hybrid models, Weakly o-minimal structures and real closed fields, Cell decompositions of \(C\)-minimal structures, Hyperarithmetical relations in expansions of recursive structures, Embedding ordered fields in formal power series fields, HOMOTOPY MODEL THEORY, On the real exponential field with restricted analytic functions, An estimate for the Siciak extremal function -- subanalytic geometry approach, Strongly NIP almost real closed fields, Global convergence of the gradient method for functions definable in o-minimal structures, Hensel minimality II: Mixed characteristic and a diophantine application, Definable Tietze extension property in o-minimal expansions of ordered groups, A criterion for the strong cell decomposition property, Decomposition into special submanifolds, Pregeometry over locally o‐minimal structures and dimension, Classification of \(\aleph_0\)-categorical \(C\)-minimal pure \(C\)-sets, Model completeness results for expansions of the ordered field of real numbers by restricted Pfaffian functions and the exponential function, The six Grothendieck operations on o-minimal sheaves, DISTRIBUTIONS OF COUNTABLE MODELS OF QUITE O-MINIMAL EHRENFEUCHT THEORIES, COMPUTING STRENGTH OF STRUCTURES RELATED TO THE FIELD OF REAL NUMBERS, Lattice ordered o-minimal structures, Abelian \(C\)-minimal groups, Formal language properties of hybrid systems with strong resets, A CONJECTURAL CLASSIFICATION OF STRONGLY DEPENDENT FIELDS, Convexity Relations and Generalizations of o-Minimality, Book Review: The birth of model theory: Löwenheim’s theory in the frame of the theory of relatives, First order irrationality criteria for series, CHARACTERIZING O-MINIMAL GROUPS IN TAME EXPANSIONS OF O-MINIMAL STRUCTURES, Independence logic and abstract independence relations, Hensel minimality I

Cites Work

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:3812217&oldid=17390346"