Definable types in -minimal theories
From MaRDI portal
Publication:4292603
DOI10.2307/2275260zbMath0801.03026OpenAlexW2161929655MaRDI QIDQ4292603
David Marker, Charles I. Steinhorn
Publication date: 1 December 1994
Published in: Journal of Symbolic Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.2307/2275260
Dedekind completereal closed fieldsdefinable typecoheir\(O\)-minimal structuredivisible ordered abelian groupsO-minimal theory
Classification theory, stability, and related concepts in model theory (03C45) Models with special properties (saturated, rigid, etc.) (03C50)
Related Items
Externally definable quotients and NIP expansions of the real ordered additive group, Cohomology of algebraic varieties over non-archimedean fields, Pseudo completions and completions in stages of o-minimal structures, Topological groups, \(\mu\)-types and their stabilizers, The theorem of the complement for nested sub-Pfaffian sets, On minimal flows and definable amenability in some distal NIP theories, The membership problem for finitely generated quadratic modules in the univariate case, Some definable types that cannot be amalgamated, Hausdorff limits of Rolle leaves, On minimal flows, definably amenable groups, and o-minimality, Topological dynamics for groups definable in real closed field, Definable types in the theory of closed ordered differential fields, Definability of types and VC density in differential topological fields, Some model theory of SL(2,R), ON LINEARLY ORDERED STRUCTURES OF FINITE RANK, STRONG DENSITY OF DEFINABLE TYPES AND CLOSED ORDERED DIFFERENTIAL FIELDS, Definable types in algebraically closed valued fields, The Marker-Steinhorn theorem via definable linear orders, Directed sets and topological spaces definable in o‐minimal structures, A.D. Taimanov and model theory in Kazakhstan, Volumes, Rolle leaves of analytic foliations and Wilkie's theorem, Generically stable and smooth measures in NIP theories, Analytic stratification in the Pfaffian closure of an \(o\)-minimal structure, 2009 North American Annual Meeting of the Association for Symbolic Logic, Pro-definability of spaces of definable types, Externally definable sets and dependent pairs II, Saturation and stability in the theory of computation over the reals, Quantifier elimination for o-minimal structures expanded by a valuational cut, Stability theory, permutations of indiscernibles, and embedded finite models, Definable functions continuous on curves in o-minimal structures
Cites Work
