Definable sets in ordered structures

DOI10.1090/S0273-0979-1984-15249-2zbMath0542.03016MaRDI QIDQ3329447

Anand Pillay, Charles I. Steinhorn

Publication date: 1984

Published in: Bulletin of the American Mathematical Society (Search for Journal in Brave)

zbMATH Keywords

ordered groupreal closed fieldo-minimal structuredefinable setsemi-algebraic setsordered ringprime modeldefinable functiontotally ordered structure

Mathematics Subject Classification ID

Model-theoretic algebra (03C60) Ordered groups (06F15) Classification theory, stability, and related concepts in model theory (03C45) Ordered rings, algebras, modules (06F25) Ordered abelian groups, Riesz groups, ordered linear spaces (06F20)

Related Items

Measures and forking, Omitting types in -minimal theories, On expansions of the real field by complex subgroups, On Dedekind complete o-minimal structures, The set of restricted complex exponents for expansions of the reals, Structures having o-minimal open core, One-dimensional groups over an o-minimal structure, Groups of dimension two and three over o-minimal structures, Unnamed Item, Strongly minimal groups in o-minimal structures, Definable Sets in Ordered Structures. III, A.D. Taimanov and model theory in Kazakhstan, Heirs of box types in polynomially bounded structures, Definable Sets in Ordered Structures. I, Definable Sets in Ordered Structures. II, An estimate for the Siciak extremal function -- subanalytic geometry approach, Applied model theory and metamathematics. An Abraham Robinson memorial problem list

Cites Work

• Unnamed Item
• Elementary structure of real algebraic varieties
• An isomorphism theorem for real-closed fields