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 |
| Summary: | 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. |
|---|---|
| ISBN: | 00224812 (ISSN) |
| DOI: | 10.1017/jsl.2019.56 |