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.
Main Authors: | , |
---|---|
Format: | Article |
Language: | English |
Published: |
Cambridge University Press
2019
|
Subjects: | |
Online Access: | View Fulltext in Publisher |