DEFINABLE HENSELIAN VALUATION RINGS

DOI10.1017/JSL.2014.52zbMath1372.03080arXiv1401.4813OpenAlexW2963549006MaRDI QIDQ2795917

Alexander Prestel

Publication date: 22 March 2016

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

Full work available at URL: https://arxiv.org/abs/1401.4813

zbMATH Keywords

valuation ringsdefinability

Mathematics Subject Classification ID

Model-theoretic algebra (03C60) Interpolation, preservation, definability (03C40) Model theory of fields (12L12) Valued fields (12J10)

Related Items (4)

Ordered fields dense in their real closure and definable convex valuations ⋮ Henselianity in the language of rings ⋮ Recent progress on definability of Henselian valuations ⋮ Uniform definability of henselian valuation rings in the Macintyre language:

Cites Work

• Uniformly defining valuation rings in Henselian valued fields with finite or pseudo-finite residue fields
• The elementary theory of finite fields
• Unnamed Item

This page was built for publication: DEFINABLE HENSELIAN VALUATION RINGS