Pages that link to "Item:Q4842632"
From MaRDI portal
The following pages link to Élimination des quantificateurs dans des paires de corps (Q4842632):
Displaying 7 items.
- Positive elimination in valued fields (Q884991) (← links)
- Quantifier elimination for Henselian fields relative to additive and multiplicative congruences (Q1320036) (← links)
- Simplification of quantifier-free formulae over ordered fields (Q1368694) (← links)
- Quantifier elimination in pairs of algebraically closed fields (Q1759771) (← links)
- SEPARABLY CLOSED VALUED FIELDS: QUANTIFIER ELIMINATION (Q2976369) (← links)
- (Q3708785) (← links)
- (Q3772191) (← links)