- New
-
Topics
- All Categories
- Metaphysics and Epistemology
- Value Theory
- Science, Logic, and Mathematics
- Science, Logic, and Mathematics
- Logic and Philosophy of Logic
- Philosophy of Biology
- Philosophy of Cognitive Science
- Philosophy of Computing and Information
- Philosophy of Mathematics
- Philosophy of Physical Science
- Philosophy of Social Science
- Philosophy of Probability
- General Philosophy of Science
- Philosophy of Science, Misc
- History of Western Philosophy
- Philosophical Traditions
- Philosophy, Misc
- Other Academic Areas
- Journals
- Submit material
- More
Henselian valued fields and inp-minimality
Journal of Symbolic Logic 84 (4):1510-1526 (2019)
Abstract
We prove that every ultraproduct of p-adics is inp-minimal. 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.My notes
Similar books and articles
A transfer theorem for Henselian valued and ordered fields.Rafel Farré - 1993 - Journal of Symbolic Logic 58 (3):915 - 930.
NIP henselian valued fields.Franziska Jahnke & Pierre Simon - 2020 - Archive for Mathematical Logic 59 (1-2):167-178.
Henselian valued fields: a constructive point of view.Hervé Perdry - 2005 - Mathematical Logic Quarterly 51 (4):400-416.
A version of p-adic minimality.Raf Cluckers & Eva Leenknegt - 2012 - Journal of Symbolic Logic 77 (2):621-630.
Cell decomposition for P‐minimal fields.Marie-Hélène Mourgues - 2009 - Mathematical Logic Quarterly 55 (5):487-492.
Uniformly defining valuation rings in Henselian valued fields with finite or pseudo-finite residue fields.Raf Cluckers, Jamshid Derakhshan, Eva Leenknegt & Angus Macintyre - 2013 - Annals of Pure and Applied Logic 164 (12):1236-1246.
Relative decidability and definability in henselian valued fields.Joseph Flenner - 2011 - Journal of Symbolic Logic 76 (4):1240-1260.
Abelian C-minimal groups.Patrick Simonetta - 2001 - Annals of Pure and Applied Logic 110 (1-3):1-22.
Extensions Separees et Immediates de Corps Values.Francoise Delon - 1988 - Journal of Symbolic Logic 53 (2):421-428.
Extensions séparées et immédiates de corps valués.Françoise Delon - 1988 - Journal of Symbolic Logic 53 (2):421-428.
Elementary properties of power series fields over finite fields.Franz-Viktor Kuhlmann - 2001 - Journal of Symbolic Logic 66 (2):771-791.
Elementary Properties of Power Series Fields over Finite Fields.Franz-Viktor Kuhlmann - 2001 - Journal of Symbolic Logic 66 (2):771-791.
Complete theories of pairs of Henselian valued fields.G. Leloup - 1990 - Journal of Symbolic Logic 55 (1):323-339.
The undecidability of the theory of immediate pairs of Henselian valued fields.Françoise Delon - 1991 - Journal of Symbolic Logic 56 (4):1236-1242.
Analytics
Added to PP
2019-08-30
Downloads
10 (#1,160,791)
6 months
5 (#652,053)
2019-08-30
Downloads
10 (#1,160,791)
6 months
5 (#652,053)
Historical graph of downloads
Citations of this work
Strongly NIP almost real closed fields.Lothar Sebastian Krapp, Salma Kuhlmann & Gabriel Lehéricy - 2021 - Mathematical Logic Quarterly 67 (3):321-328.
Burden in Henselian valued fields.Pierre Touchard - 2023 - Annals of Pure and Applied Logic 174 (10):103318.
Stably embedded submodels of Henselian valued fields.Pierre Touchard - 2023 - Archive for Mathematical Logic 63 (3):279-315.
Burden of Henselian Valued Fields in the Denef–Pas Language.Peter Sinclair - 2022 - Notre Dame Journal of Formal Logic 63 (4):463-480.
PhilPapers logo by Andrea Andrews and Meghan Driscoll.
This site uses cookies and Google Analytics (see our terms & conditions for details regarding the privacy implications). Use of this site is subject to terms & conditions.
All rights reserved by The PhilPapers Foundation
Server: philpapers-web-7c76586df8-pp8v9 uwo