Henselianity and the Denef-Pas language

DOI10.2178/jsl/1243948332zbMath1168.03026OpenAlexW1991624728MaRDI QIDQ3630584

Yimu Yin

Publication date: 4 June 2009

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

Full work available at URL: https://doi.org/10.2178/jsl/1243948332

zbMATH Keywords

quantifier eliminationHenselian fieldsvalued fieldsDenef-Pas language

Mathematics Subject Classification ID

Model-theoretic algebra (03C60) Model theory of fields (12L12) Quantifier elimination, model completeness, and related topics (03C10) Valued fields (12J10)

Related Items (1)

Special transformations in algebraically closed valued fields

Cites Work

• Elimination of quantifiers in algebraic structures

This page was built for publication: Henselianity and the Denef-Pas language