Pages that link to "Item:Q2019416"
From MaRDI portal
The following pages link to Quantifier elimination for quasi-real closed fields (Q2019416):
Displaying 15 items.
- Quantifier elimination for valued fields equipped with an automorphism (Q745876) (← links)
- Elimination of quantifiers in algebraic structures (Q787962) (← links)
- Relative elimination of quantifiers for Henselian valued fields (Q810501) (← links)
- Quantoren-Elimination bei Fastkörpern. (Elimination of quantifiers in nearfields) (Q1098893) (← links)
- Elimination of infinitesimal quantifiers (Q1295791) (← links)
- Quantifier elimination in pairs of algebraically closed fields (Q1759771) (← links)
- Quantifier elimination on some pseudo-algebraically closed valued fields (Q2084961) (← links)
- Geometric axioms for existentially closed Hasse fields (Q2488276) (← links)
- SEPARABLY CLOSED VALUED FIELDS: QUANTIFIER ELIMINATION (Q2976369) (← links)
- (Q3708785) (← links)
- Elimination of quantifiers for ordered valuation rings (Q3762295) (← links)
- Quantifier elimination in separably closed fields of finite imperfectness degree (Q3804677) (← links)
- (Q4247790) (← links)
- (Q5187264) (← links)
- Quantifier elimination for the theory of algebraically closed valued fields with analytic structure (Q5293194) (← links)