加载中…
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.

生成讲解博客的中文版本

生成AI智能校验的中文版本