Eliminating Field Quantifiers in Strongly Dependent Henselian Fields
classification
🧮 math.LO
keywords
fieldsdependentstronglyfieldhenselianquantifiersachievedalgebraically
read the original abstract
We prove elimination of field quantifiers for strongly dependent henselian fields in the Denef-Pas language. This is achieved by proving the result for a class of fields generalizing algebraically maximal Kaplansky fields. We deduce that if $(K,v)$ is strongly dependent then so is its henselization.
This paper has not been read by Pith yet.
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.