- 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
Definable valuations induced by multiplicative subgroups and NIP fields
Archive for Mathematical Logic 58 (7-8):819-839 (2019)
Abstract
We study the algebraic implications of the non-independence property and variants thereof on infinite fields, motivated by the conjecture that all such fields which are neither real closed nor separably closed admit a henselian valuation. Our results mainly focus on Hahn fields and build up on Will Johnson’s “The canonical topology on dp-minimal fields” :1850007, 2018).My notes
Similar books and articles
The canonical topology on dp-minimal fields.Will Johnson - 2018 - Journal of Mathematical Logic 18 (2):1850007.
Some model theory for almost real closed fields.Françoise Delon & Rafel Farré - 1996 - Journal of Symbolic Logic 61 (4):1121-1152.
Some Model Theory for Almost Real Closed Fields.Francoise Delon & Rafel Farre - 1996 - Journal of Symbolic Logic 61 (3):1121-1152.
Canonical forms for definable subsets of algebraically closed and real closed valued fields.Jan E. Holly - 1995 - Journal of Symbolic Logic 60 (3):843-860.
Stable Embeddedness in Algebraically Closed Valued Fields.E. Hrushovski & A. Tatarsky - 2006 - Journal of Symbolic Logic 71 (3):831 - 862.
Notes on the stability of separably closed fields.Carol Wood - 1979 - Journal of Symbolic Logic 44 (3):412-416.
Expansions of ordered fields without definable gaps.Jafar S. Eivazloo & Mojtaba Moniri - 2003 - Mathematical Logic Quarterly 49 (1):72-82.
Henselian valued fields: a constructive point of view.Hervé Perdry - 2005 - Mathematical Logic Quarterly 51 (4):400-416.
Minimal groups in separably closed fields.E. Bouscaren & F. Delon - 2002 - Journal of Symbolic Logic 67 (1):239-259.
Subgroups of the additive group of a separably closed field.Thomas Blossier - 2005 - Annals of Pure and Applied Logic 134 (2-3):169-216.
A Note on Defining Transcendentals in Function Fields.Arno Fehm & Wulf-Dieter Geyer - 2009 - Journal of Symbolic Logic 74 (4):1206 - 1210.
Definability of Geometric Properties in Algebraically Closed Fields.Olivier Chapuis & Pascal Koiran - 1999 - Mathematical Logic Quarterly 45 (4):533-550.
Elementary geometric local–global principles for fields.Arno Fehm - 2013 - Annals of Pure and Applied Logic 164 (10):989-1008.
Definissabilite dans Les corps de fonctions p-adiques.Luc Bélair & Jean-Louis Duret - 1991 - Journal of Symbolic Logic 56 (3):783-785.
The model theory of m‐ordered differential fields.Cédric Rivière - 2006 - Mathematical Logic Quarterly 52 (4):331-339.
Analytics
Added to PP
2019-02-09
Downloads
9 (#1,219,856)
6 months
2 (#1,263,261)
2019-02-09
Downloads
9 (#1,219,856)
6 months
2 (#1,263,261)
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.
Definability of Henselian Valuations by Conditions on the Value Group.Lothar Sebastian Krapp, Salma Kuhlmann & Moritz Link - 2023 - Journal of Symbolic Logic 88 (3):1064-1082.
References found in this work
Theories without the tree property of the second kind.Artem Chernikov - 2014 - Annals of Pure and Applied Logic 165 (2):695-723.
The canonical topology on dp-minimal fields.Will Johnson - 2018 - Journal of Mathematical Logic 18 (2):1850007.
Definable Henselian valuations.Franziska Jahnke & Jochen Koenigsmann - 2015 - Journal of Symbolic Logic 80 (1):85-99.
Uniformly defining p-henselian valuations.Franziska Jahnke & Jochen Koenigsmann - 2015 - Annals of Pure and Applied Logic 166 (7-8):741-754.
Superrosy dependent groups having finitely satisfiable generics.Clifton Ealy, Krzysztof Krupiński & Anand Pillay - 2008 - Annals of Pure and Applied Logic 151 (1):1-21.
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