Pages that link to "Item:Q2976369"
From MaRDI portal
The following pages link to SEPARABLY CLOSED VALUED FIELDS: QUANTIFIER ELIMINATION (Q2976369):
Displaying 16 items.
- Separably closed valued fields: immediate expansions (Q503269) (← links)
- Relative elimination of quantifiers for Henselian valued fields (Q810501) (← links)
- Linear problems in valued fields (Q1582303) (← links)
- Quantifier elimination in pairs of algebraically closed fields (Q1759771) (← links)
- Quantifier elimination for quasi-real closed fields (Q2019416) (← links)
- Quantifier elimination in tame infinite \(p\)-adic fields (Q2758074) (← links)
- Separably closed fields and contractive Ore modules (Q2795920) (← links)
- Definable sets in algebraically closed valued fields: elimination of imaginaries (Q3413792) (← links)
- (Q3708785) (← links)
- Quantifier elimination in separably closed fields of finite imperfectness degree (Q3804677) (← links)
- Separably closed fields with Hasse derivations (Q4457735) (← links)
- Imaginaries in separably closed valued fields (Q4571872) (← links)
- The theory of modules of separably closed fields 1 (Q4779646) (← links)
- Separably closed fields with higher derivations I (Q4858825) (← links)
- Quantifier elimination for the theory of algebraically closed valued fields with analytic structure (Q5293194) (← links)
- (Q5863077) (← links)