A definable Henselian valuation with high quantifier complexity

DOI10.1002/MALQ.201500024MaRDI QIDQ2947241zbMATH OpenOpenAlexWikidataFDO

Authors Immanuel Halupczok, Franziska Jahnke

Publication date 22 September 2015

Published in Mathematical Logic Quarterly (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1504.01871, http://eprints.whiterose.ac.uk/85996/1/HalupczokJahnke-Revised.pdf

zbMATH Keywords

definabilityquantifier complexityvaluation ring

Mathematics Subject Classification ID

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

Abstract: We give an example of a parameter-free definable henselian valuation ring which is neither definable by a parameter-free $forallexists$-formula nor by a parameter-free $existsforall$-formula in the language of rings. This answers a question of Prestel.

Recommendations

• On the quantifier complexity of definable canonical Henselian valuations
• Definable Henselian valuations
• Definable Henselian valuation rings
• Uniform definability of henselian valuation rings in the Macintyre language
• Uniformly defining valuation rings in Henselian valued fields with finite or pseudo-finite residue fields

Cites work

• Algebraic patching
• [[:Publication:5177889|An existential \(\emptyset\)-definition of \(\mathbb F_q t\) in \(\mathbb F_q((t))\)]]
• Definable Henselian valuations
• Definable non-divisible Henselian valuations
• EXISTENTIAL ∅-DEFINABILITY OF HENSELIAN VALUATION RINGS
• Existential equivalence of ordered abelian groups with parameters
• On places of algebraic function fields.
• On the quantifier complexity of definable canonical Henselian valuations
• Quantifier elimination in ordered abelian groups
• Uniform definability of henselian valuation rings in the Macintyre language
• Uniformly defining valuation rings in Henselian valued fields with finite or pseudo-finite residue fields

Cited in

(3)

• On the quantifier complexity of definable canonical Henselian valuations
• Recent progress on definability of Henselian valuations
• Definable Henselian valuations

This page was built for publication: A definable Henselian valuation with high quantifier complexity

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2947241)