Pages that link to "Item:Q3762295"
From MaRDI portal
The following pages link to Elimination of quantifiers for ordered valuation rings (Q3762295):
Displayed 18 items.
- An algebraic characterization of o-minimal and weakly o-minimal MV-chains (Q392380) (← links)
- Some definable properties of sets in non-valuational weakly o-minimal structures (Q527334) (← links)
- \(p\)-convexly valued rings (Q555965) (← links)
- Preservation of \(\omega\)-categoricity in expanding the models of weakly \(o\)-minimal theories (Q721355) (← links)
- Algebras of distributions of binary isolating formulas for almost \(\omega \)-categorical weakly \(o\)-minimal theories (Q2066090) (← links)
- Quantifier elimination for o-minimal structures expanded by a valuational cut (Q2105097) (← links)
- Strong cell decomposition property in o-minimal traces (Q2219092) (← links)
- Imaginaries in real closed valued fields (Q2368915) (← links)
- Tame properties of sets and functions definable in weakly o-minimal structures (Q2449858) (← links)
- On almost omega-categoricity of weakly o-minimal theories (Q2662832) (← links)
- Vapnik-Chervonenkis density in some theories without the independence property, I (Q2790718) (← links)
- Pseudo definably connected definable sets (Q2813679) (← links)
- Weakly o-minimal structures and real closed fields (Q4505928) (← links)
- A note on prime models in weakly o‐minimal structures (Q5108094) (← links)
- On the strong cell decomposition property for weakly o-minimal structures (Q5396226) (← links)
- Boolean products of real closed valuation rings and fields (Q5956886) (← links)
- Strongly NIP almost real closed fields (Q6047712) (← links)
- A criterion for the strong cell decomposition property (Q6077933) (← links)