Research Training Network in Model Theory
Publications > Preprint server > Preprint Number 1203

Preprint Number 1203

Previous Next Preprint server

1203. Krzysztof Jan Nowak
The closedness theorem over Henselian valued fields

Submission date: 4 April 2017


We prove the closedness theorem over Henselian valued fields, which was established over rank one valued fields in one of our recent papers. In the proof, as before, we use the local behaviour of definable functions of one variable and the so-called fiber shrinking, which is a relaxed version of curve selection. Now our approach applies also relative quantifier elimination for ordered abelian groups due to Cluckers--Halupczok. Afterwards the closedness theorem will allow us to achieve i.a. the Łojasiewicz inequality, curve selection and extending hereditarily rational functions as well as to develop the theory of regulous functions and sheaves.

Mathematics Subject Classification: 12J15, 14G27, 03C10

Keywords and phrases:

Full text arXiv 1704.01093: pdf, ps.

Last updated: April 12 2017 12:32 Please send your corrections to: