Pages that link to "Item:Q3487323"
From MaRDI portal
The following pages link to Definable Sets in Ordered Structures. III (Q3487323):
Displaying 24 items.
- Expansions of o-minimal structures by dense independent sets (Q287480) (← links)
- Modular Ax-Lindemann-Weierstrass with derivatives (Q372632) (← links)
- Simple types in discretely ordered structures (Q481879) (← links)
- Positive primitive formulae of modules over rings of semi-algebraic functions on a curve (Q494649) (← links)
- Definable choice for a class of weakly o-minimal theories (Q506966) (← links)
- Definable sets in Stone algebras (Q506969) (← links)
- On the decidability of termination of query evaluation in transitive-closure logics for polynomial constraint databases (Q555774) (← links)
- Aggregate operators in constraint query languages (Q696963) (← links)
- Preservation of \(\omega\)-categoricity in expanding the models of weakly \(o\)-minimal theories (Q721355) (← links)
- On the number of topological types occurring in a parameterized family of arrangements (Q1006392) (← links)
- Cell decomposition and dimension function in the theory of closed ordered differential fields (Q1023052) (← links)
- Extended order-generic queries (Q1302301) (← links)
- Hyperarithmetical relations in expansions of recursive structures (Q1315834) (← links)
- Reachability and connectivity queries in constraint databases (Q1394800) (← links)
- Essentially periodic ordered groups (Q1591377) (← links)
- On the Reeb spaces of definable maps (Q2167309) (← links)
- Strong cell decomposition property in o-minimal traces (Q2219092) (← links)
- A.D. Taimanov and model theory in Kazakhstan (Q2306026) (← links)
- An estimate for the Siciak extremal function -- subanalytic geometry approach (Q2352859) (← links)
- Counting special points: Logic, diophantine geometry, and transcendence theory (Q3109807) (← links)
- (Q5079750) (← links)
- First order irrationality criteria for series (Q5247120) (← links)
- Strongly NIP almost real closed fields (Q6047712) (← links)
- A criterion for the strong cell decomposition property (Q6077933) (← links)
