arXiv2309.14469MaRDI QIDQ6452570
Christian D'Elbée
Publication date: 25 September 2023
Mathematics Subject Classification ID
Quantifier elimination, model completeness, and related topics (03C10) General valuation theory for fields (12J20)
