HENSELIAN VALUED FIELDS and inp-MINIMALITY

We prove that every ultraproduct of p-adics is inp-minimal (i.e., of burden 1). More generally, we prove an Ax-Kochen type result on preservation of inp-minimality for Henselian valued fields of equicharacteristic 0 in the RV language. Copyright © 2019 The Association for Symbolic Logic.

Bibliographic Details
Main Authors: Chernikov, A. (Author), Simon, P. (Author)
Format: Article
Language:English
Published: Cambridge University Press 2019
Subjects:
Online Access:View Fulltext in Publisher