Pages that link to "Item:Q5293194"
From MaRDI portal
The following pages link to Quantifier elimination for the theory of algebraically closed valued fields with analytic structure (Q5293194):
Displaying 15 items.
- Strictly convergent analytic structures (Q509104) (← links)
- Fields with analytic structure (Q550568) (← links)
- On some definable sets over fields with analytic structure (Q636299) (← links)
- Quantifier elimination for valued fields equipped with an automorphism (Q745876) (← links)
- Relative elimination of quantifiers for Henselian valued fields (Q810501) (← links)
- Algebraic properties of separated power series (Q926251) (← links)
- Elimination of infinitesimal quantifiers (Q1295791) (← links)
- Quantifier elimination in pairs of algebraically closed fields (Q1759771) (← links)
- Quantifier elimination for quasi-real closed fields (Q2019416) (← links)
- Quantifier elimination on some pseudo-algebraically closed valued fields (Q2084961) (← links)
- SEPARABLY CLOSED VALUED FIELDS: QUANTIFIER ELIMINATION (Q2976369) (← links)
- (Q3708785) (← links)
- <i>p</i>-adically closed fields with nonstandard analytic structure (Q4931091) (← links)
- Quantifier elimination in valued Ore modules (Q4931104) (← links)
- Quantifier elimination, valuation property and preparation theorem in quasianalytic geometry via transformation to normal crossings (Q5193053) (← links)