Definable types in -minimal theories

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

zbMATH Keywords

Dedekind completereal closed fieldsdefinable typecoheir\(O\)-minimal structuredivisible ordered abelian groupsO-minimal theory

Mathematics Subject Classification ID

Classification theory, stability, and related concepts in model theory (03C45) Models with special properties (saturated, rigid, etc.) (03C50)

Related Items (30)

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

• A generalization of the Tarski-Seidenberg theorem, and some nondefinability results
• Some remarks on definable equivalence relations in O-minimal structures

This page was built for publication: Definable types in -minimal theories