The Ax-Kochen-Ershov Theorem
From MaRDI portal
Publication:6452570
arXiv2309.14469MaRDI QIDQ6452570
Publication date: 25 September 2023
Quantifier elimination, model completeness, and related topics (03C10) General valuation theory for fields (12J20)
This page was built for publication: The Ax-Kochen-Ershov Theorem