Definability of types, and pairs of O-minimal structures

DOI10.2307/2275712zbMath0815.03022OpenAlexW2084461891MaRDI QIDQ4323051

Anand Pillay

Publication date: 2 July 1995

Published in: Journal of Symbolic Logic (Search for Journal in Brave)

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

zbMATH Keywords

completenesselementary extensionDedekind completequantifier-eliminationpairs of models\({\mathbf O}\)-minimal theory

Mathematics Subject Classification ID

Models with special properties (saturated, rigid, etc.) (03C50) Interpolation, preservation, definability (03C40) Quantifier elimination, model completeness, and related topics (03C10)

Related Items (12)

T-convexity and tame extensions II ⋮ Definable types in the theory of closed ordered differential fields ⋮ Definability of types and VC density in differential topological fields ⋮ Expansion of a model of a weakly o-minimal theory by a family of unary predicates ⋮ Some model theory of SL(2,R) ⋮ Definable types in algebraically closed valued fields ⋮ A.D. Taimanov and model theory in Kazakhstan ⋮ Volumes, Rolle leaves of analytic foliations and Wilkie's theorem ⋮ Paires de structures O-minimales ⋮ Stability theory, permutations of indiscernibles, and embedded finite models ⋮ Generic pairs of SU-rank 1 structures ⋮ A note on \(\mu\)-stabilizers in ACVF

Cites Work

• Some remarks on definable equivalence relations in O-minimal structures

This page was built for publication: Definability of types, and pairs of O-minimal structures