Henselian valued fields and inp-minimality
Logic
2019-08-27 v2 Commutative Algebra
Abstract
We prove that every ultraproduct of -adics is inp-minimal (i.e., of burden ). More generally, we prove an Ax-Kochen type result on preservation of inp-minimality for Henselian valued fields of equicharacteristic in the RV language.
Keywords
Cite
@article{arxiv.1601.07313,
title = {Henselian valued fields and inp-minimality},
author = {Artem Chernikov and Pierre Simon},
journal= {arXiv preprint arXiv:1601.07313},
year = {2019}
}
Comments
v.2: 15 pages, minor corrections and presentation improvements; accepted to the Journal of Symbolic Logic