Pages that link to "Item:Q2105097"
From MaRDI portal
The following pages link to Quantifier elimination for o-minimal structures expanded by a valuational cut (Q2105097):
Displaying 6 items.
- Definable choice for a class of weakly o-minimal theories (Q506966) (← links)
- Expansion of a model of a weakly o-minimal theory by a family of unary predicates (Q2758066) (← links)
- Paires de structures O-minimales (Q4212921) (← links)
- MODEL COMPLETENESS OF O-MINIMAL FIELDS WITH CONVEX VALUATIONS (Q5251368) (← links)
- Elimination of imaginaries in expansions of o-minimal structures by generic sets (Q5486246) (← links)
- Quantifier elimination for o-minimal structures expanded by a valuational cut (Q6342908) (← links)