Definable Sets in Ordered Structures. III
From MaRDI portal
Publication:3487323
DOI10.2307/2000920zbMath0707.03024OpenAlexW4244980799WikidataQ59486599 ScholiaQ59486599MaRDI QIDQ3487323
Anand Pillay, Charles I. Steinhorn
Publication date: 1988
Full work available at URL: https://doi.org/10.2307/2000920
Classification theory, stability, and related concepts in model theory (03C45) Interpolation, preservation, definability (03C40) Ordered structures (06F99)
Related Items (25)
Expansions of o-minimal structures by dense independent sets ⋮ On the Reeb spaces of definable maps ⋮ Modular Ax-Lindemann-Weierstrass with derivatives ⋮ Strongly NIP almost real closed fields ⋮ Reachability and connectivity queries in constraint databases ⋮ A criterion for the strong cell decomposition property ⋮ Strong cell decomposition property in o-minimal traces ⋮ Simple types in discretely ordered structures ⋮ Structures having o-minimal open core ⋮ Positive primitive formulae of modules over rings of semi-algebraic functions on a curve ⋮ Definable choice for a class of weakly o-minimal theories ⋮ Definable sets in Stone algebras ⋮ Aggregate operators in constraint query languages ⋮ On the decidability of termination of query evaluation in transitive-closure logics for polynomial constraint databases ⋮ Unnamed Item ⋮ Preservation of \(\omega\)-categoricity in expanding the models of weakly \(o\)-minimal theories ⋮ On the number of topological types occurring in a parameterized family of arrangements ⋮ A.D. Taimanov and model theory in Kazakhstan ⋮ Cell decomposition and dimension function in the theory of closed ordered differential fields ⋮ Counting special points: Logic, diophantine geometry, and transcendence theory ⋮ First order irrationality criteria for series ⋮ Extended order-generic queries ⋮ Essentially periodic ordered groups ⋮ Hyperarithmetical relations in expansions of recursive structures ⋮ An estimate for the Siciak extremal function -- subanalytic geometry approach
Cites Work
This page was built for publication: Definable Sets in Ordered Structures. III
