Eliminating Field Quantifiers in Strongly Dependent Henselian Fields
Logic
2018-11-06 v3
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 is strongly dependent then so is its henselization.
Cite
@article{arxiv.1707.03188,
title = {Eliminating Field Quantifiers in Strongly Dependent Henselian Fields},
author = {Yatir Halevi and Assaf Hasson},
journal= {arXiv preprint arXiv:1707.03188},
year = {2018}
}
Comments
The original version was for algebraically maximal kaplansky fields. This new version is a generalization