Pages that link to "Item:Q3140552"
From MaRDI portal
The following pages link to Quantifier Elimination in p-adic Fields (Q3140552):
Displaying 6 items.
- Substructures and uniform elimination for p-adic fields (Q1109764) (← links)
- A quantifier elimination for the theory of \(p\)-adic numbers (Q1277096) (← links)
- Quantifier elimination for Henselian fields relative to additive and multiplicative congruences (Q1320036) (← links)
- Quantifier elimination in tame infinite \(p\)-adic fields (Q2758074) (← links)
- Monomialization of morphisms and \(p\)-adic quantifier elimination (Q2839340) (← links)
- Semilinear cell decomposition (Q4292604) (← links)