Positive elimination in valued fields

DOI10.1007/s00229-007-0087-1zbMath1127.12007OpenAlexW2041391610MaRDI QIDQ884991

Alexander Prestel

Publication date: 7 June 2007

Published in: Manuscripta Mathematica (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s00229-007-0087-1

zbMATH Keywords

valued fieldspositive constructible setspositive quantifier elimination

Mathematics Subject Classification ID

Model-theoretic algebra (03C60) Model theory of fields (12L12) Valued fields (12J10) Elementary questions in algebraic geometry (14A25)

Related Items

New examples (and counterexamples) of complete finite-rank differential varieties

Cites Work

• Unnamed Item
• Unnamed Item
• Complete theories
• Real closed rings. II. Model theory
• Valued Fields