The closedness theorem over Henselian valued fields
From MaRDI portal
Publication:6285161
arXiv1704.01093MaRDI QIDQ6285161FDOQ6285161
Authors: Krzysztof Jan Nowak 
Publication date: 4 April 2017
Abstract: 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 L{}ojasiewicz inequality, curve selection and extending hereditarily rational functions as well as to develop the theory of regulous functions and sheaves.
Ordered fields (12J15) Quantifier elimination, model completeness, and related topics (03C10) Other nonalgebraically closed ground fields in algebraic geometry (14G27)
This page was built for publication: The closedness theorem over Henselian valued fields
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6285161)
