SEPARABLY CLOSED VALUED FIELDS: QUANTIFIER ELIMINATION

DOI10.1017/jsl.2015.62zbMath1432.03062OpenAlexW4299523920MaRDI QIDQ2976369

Jizhan Hong

Publication date: 28 April 2017

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

Full work available at URL: http://clok.uclan.ac.uk/14528/1/EXTRNOT.pdf

zbMATH Keywords

quantifier eliminationinfinite imperfection degreeseparably closed valued fields

Mathematics Subject Classification ID

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

Related Items (2)

Unnamed Item ⋮ Separably closed valued fields: immediate expansions

Cites Work

• Elimination of quantifiers in algebraic structures
• Modular fields. I. Separating transcendence bases
• The Mordell-Lang conjecture for function fields

This page was built for publication: SEPARABLY CLOSED VALUED FIELDS: QUANTIFIER ELIMINATION