Quantifier elimination in tame infinite p-adic fields

DOI10.2307/2695121zbMATH Open0993.03050OpenAlexW2092755979WikidataQ58006946 ScholiaQ58006946MaRDI QIDQ2758074

Ingo Brigandt

Publication date: 16 September 2002

Published in: Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.2307/2695121

zbMATH Keywords

quantifier eliminationvalued fieldstame field

Mathematics Subject Classification ID

Model-theoretic algebra (03C60) Non-Archimedean valued fields (12J25) Model theory of fields (12L12) Quantifier elimination, model completeness, and related topics (03C10)

Cites Work

• Formally \(p\)-adic fields
• Immediate and purely wild extensions of valued fields

Related Items (1)

Quantifier elimination for Henselian fields relative to additive and multiplicative congruences

This page was built for publication: Quantifier elimination in tame infinite p-adic fields