HENSELIAN VALUED FIELDS AND inp-MINIMALITY

Artem Chernikov, Pierre Simon

Type: Article

Publication Date: 2019-08-29

Citations: 9

DOI: https://doi.org/10.1017/jsl.2019.56

Abstract

Abstract 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.

Locations

Journal of Symbolic Logic - View
eScholarship (California Digital Library) - View - PDF
arXiv (Cornell University) - View - PDF
HAL (Le Centre pour la Communication Scientifique Directe) - View

Similar Works

Action	Title	Year	Authors
+ PDF Chat	Henselian valued fields and inp-minimality	2016	Artem Chernikov Pierre Simon
+	Henselian valued fields and inp-minimality	2016	Artem Chernikov Pierre Simon
+	Henselianity in the language of rings	2015	Sylvy Anscombe Franziska Jahnke
+	Henselianity in the language of rings	2015	Sylvy Anscombe Franziska Jahnke
+	Henselianity in the language of rings	2018	Sylvy Anscombe Franziska Jahnke
+ PDF Chat	A criterion for p-henselianity in characteristic p	2015	Zoé Chatzidakis M.T.M. Perera
+	Extension bases in Henselian valued fields	2022	Akash Hossain
+	The domination monoid in henselian valued fields	2021	Martin Hils Rosario Mennuni
+	Residue field domination in henselian valued fields of equicharacteristic zero	2021	Mariana Vicaría
+ PDF Chat	The Henselian closures of a PpC field	1991	Wulf-Dieter Geyer Moshe Jarden
+	Burden in Henselian Valued Fields	2018	Pierre Touchard
+	Ax-Kochen-Ershov principles for finitely ramified henselian fields	2023	Sylvy Anscombe Philip Dittmann Franziska Jahnke
+	Distality in valued fields and related structures	2022	Matthias Aschenbrenner Artem Chernikov Allen Gehret Martin Ziegler
+	p-Henselian fields	1995	Jochen Koenigsmann
+	Some results of geometry in Hensel minimal structures	2021	Krzysztof Jan Nowak
+	Un principe d’Ax–Kochen–Ershov imaginaire	2024	Martin Hils Silvain Rideau
+	A version of <i>p</i>-adic minimality	2012	Raf Cluckers Eva Leenknegt
+ PDF Chat	Transfer Principles in Henselian Valued Fields	2021	Pierre Touchard
+ PDF Chat	Axiomatic characterization of fields by the product formula for valuations	2006	Michael Rosen
+ PDF Chat	The existential theory of equicharacteristic henselian valued fields	2016	Sylvy Anscombe Arno Fehm

Works That Cite This (9)

Action	Title	Year	Authors
+	Distality in valued fields and related structures	2022	Matthias Aschenbrenner Artem Chernikov Allen Gehret Martin Ziegler
+ PDF Chat	Burden in Henselian valued fields	2023	Pierre Touchard
+ PDF Chat	Topological fields with a generic derivation	2022	Pablo Cubides Kovacsics Françoise Point
+	Stably embedded submodels of Henselian valued fields	2023	Pierre Touchard
+	Strongly NIP almost real closed fields	2020	Lothar Sebastian Krapp Salma Kuhlmann Gabriel Lehéricy
+ PDF Chat	Residue field domination in some henselian valued fields	2023	Clifton Ealy Deirdre Haskell Pierre Simon
+	On Model Theory of Valued Vector Spaces	2021	Pierre Touchard
+ PDF Chat	Strongly NIP almost real closed fields	2021	Lothar Sebastian Krapp Salma Kuhlmann Gabriel Lehéricy
+ PDF Chat	Burden of Henselian Valued Fields in the Denef–Pas Language	2022	Peter Sinclair

Works Cited by This (20)

Action	Title	Year	Authors
+	Strong theories, burden, and weight	2007	Hans H. Adler
+ PDF Chat	Types dans les corps valués munis d'applications coefficients	1999	Luc Bélair
+ PDF Chat	Blow-up of semilinear pde’s at the critical dimension. A probabilistic approach	2002	Matthias Birkner José Alfredo López-Mimbela Anton Wakolbinger
+	Theories without the tree property of the second kind	2013	Artem Chernikov
+ PDF Chat	Strongly dependent theories	2014	Saharon Shelah
+ PDF Chat	Valued difference fields and NTP2	2014	Artem Chernikov Martin Hils
+ PDF Chat	Dp-Minimality: Basic Facts and Examples	2011	Alfred Dolich John Goodrick David Lippel
+ PDF Chat	On the undecidability of power series fields	1965	James Ax
+	On dp-minimal fields	2015	Will Johnson
+	Groups in NTP2	2017	Nadja Hempel Alf Onshuus