Work

A definable henselian valuation with high quantifier complexity

Year: 2015

Type: article

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

Source: White Rose Research Online (University of Leeds, The University of Sheffield, University of York)

DOI: 10.48550/arxiv.1504.01871

Authors: Halupczok, Immanuel, Jahnke, Franziska

Institutions: University of Leeds, University of Münster

Language: English

Topic: Advanced Topology and Set Theory

Subfield: Geometry and Topology

Field: Mathematics

Domain: Physical Sciences

Open Access status: green

OpenAlex ID: W2950280843

FWCI:

Cites: 3

Cited by:

Related to: 20