Definable sets in ordered structures

DOI10.1090/S0273-0979-1984-15249-2MaRDI QIDQ3329447zbMATH OpenFDO

Authors Anand Pillay, Charles Steinhorn

Publication date 1984

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

Full work available at URL https://doi.org/10.1090/S0273-0979-1984-15249-2

zbMATH Keywords

definable functiondefinable seto-minimal structureordered groupordered ringprime modelreal closed fieldsemi-algebraic setstotally ordered structure

Mathematics Subject Classification ID

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

Recommendations

• Definable Sets in Ordered Structures. II
• Definable Sets in Ordered Structures. III
• On groups and fields definable in o-minimal structures
• o-minimality
• A trichotomy theorem for o-minimal structures

Cites work

• An isomorphism theorem for real-closed fields
• Elementary structure of real algebraic varieties
• scientific article; zbMATH DE number 3053259 (Why is no real title available?)

Cited in

(43)

• Applied model theory and metamathematics. An Abraham Robinson memorial problem list
• Measures and forking
• Structures coordinatized by indiscernible sets
• o-minimality
• One-dimensional groups over an o-minimal structure
• Groups of dimension two and three over o-minimal structures
• Linear o-minimal structures
• Strongly minimal groups in o-minimal structures
• Between groups and rings
• A.D. Taimanov and model theory in Kazakhstan
• Definable elements of definable Borel sets
• An estimate for the Siciak extremal function -- subanalytic geometry approach
• On expansions of the real field by complex subgroups
• On the bounded condition of an o-minimal structure
• Pseudo definably connected definable sets
• Sets and ordered structures
• Directed sets and topological spaces definable in o-minimal structures
• Definable Sets in Ordered Structures. III
• Structures having o-minimal open core
• Heirs of box types in polynomially bounded structures
• Omitting types in -minimal theories
• scientific article; zbMATH DE number 3991491 (Why is no real title available?)
• On Dedekind complete o-minimal structures
• scientific article; zbMATH DE number 4045246 (Why is no real title available?)
• Definable Sets in Ordered Structures. I
• Definable Sets in Ordered Structures. II
• The set of restricted complex exponents for expansions of the reals
• scientific article; zbMATH DE number 2003164 (Why is no real title available?)
• Definable sets in boolean ordered o-minimal structures. II
• Quasi-o-minimal structures
• scientific article; zbMATH DE number 6984345 (Why is no real title available?)
• On linearly ordered structures of finite rank
• Finite bisimulations for dynamical systems with overlapping trajectories
• TOWARDS A THEORY OF DEFINABLE SETS
• Pseudo-finite sets, pseudo-o-minimality
• scientific article; zbMATH DE number 4195916 (Why is no real title available?)
• On minimal ordered structures
• Definable Sets in Generic Structures and their Cardinalities
• Lattice ordered o-minimal structures
• A list of arithmetical structures complete with respect to the first-order definability
• Hensel minimality: geometric criteria for -h-minimality
• Weakly o-minimal types
• Restricted analytic valued fields with partial exponentiation

This page was built for publication: Definable sets in ordered structures

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3329447)