Strongly NIP almost real closed fields

, &
Mathematical Logic Quarterly 67 (3):321-328 (2021)
  Copy   BIBTEX

Abstract

The following conjecture is due to Shelah–Hasson: Any infinite strongly NIP field is either real closed, algebraically closed, or admits a non‐trivial definable henselian valuation, in the language of rings. We specialise this conjecture to ordered fields in the language of ordered rings, which leads towards a systematic study of the class of strongly NIP almost real closed fields. As a result, we obtain a complete characterisation of this class.

Categories

Add categories

Keywords

Reprint years

DOI

10.1002/malq.202000060

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,709

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Definable valuations induced by multiplicative subgroups and NIP fields.Katharina Dupont, Assaf Hasson & Salma Kuhlmann - 2019 - Archive for Mathematical Logic 58 (7-8):819-839.
Degree spectra of real closed fields.Russell Miller & Victor Ocasio González - 2019 - Archive for Mathematical Logic 58 (3-4):387-411.
A conjectural classification of strongly dependent fields.Yatir Halevi, Assaf Hasson & Franziska Jahnke - 2019 - Bulletin of Symbolic Logic 25 (2):182-195.
An Intuitionistic Axiomatisation of Real Closed Fields.Erik Palmgren - 2002 - Mathematical Logic Quarterly 48 (2):297-299.
Real Closed Exponential Subfields of Pseudo-Exponential Fields.Ahuva C. Shkop - 2013 - Notre Dame Journal of Formal Logic 54 (3-4):591-601.
The strong soundness theorem for real closed fields and Hilbert’s Nullstellensatz in second order arithmetic.Nobuyuki Sakamoto & Kazuyuki Tanaka - 2004 - Archive for Mathematical Logic 43 (3):337-349.
Imaginaries in real closed valued fields.Timothy Mellor - 2006 - Annals of Pure and Applied Logic 139 (1):230-279.
Residue Field Domination in Real Closed Valued Fields.Clifton Ealy, Deirdre Haskell & Jana Maříková - 2019 - Notre Dame Journal of Formal Logic 60 (3):333-351.
Relative randomness and real closed fields.Alexander Raichev - 2005 - Journal of Symbolic Logic 70 (1):319-330.
Some model theory for almost real closed fields.Françoise Delon & Rafel Farré - 1996 - Journal of Symbolic Logic 61 (4):1121-1152.
Relative Randomness and Real Closed Fields.Alexander Raichev - 2005 - Journal of Symbolic Logic 70 (1):319 - 330.
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.
Strongly Minimal Reducts of Valued Fields.Piotr Kowalski & Serge Randriambololona - 2016 - Journal of Symbolic Logic 81 (2):510-523.
Boolean products of real closed valuation rings and fields.Jorge I. Guier - 2001 - Annals of Pure and Applied Logic 112 (2-3):119-150.
Real closed fields and models of Peano arithmetic.P. D'Aquino, J. F. Knight & S. Starchenko - 2010 - Journal of Symbolic Logic 75 (1):1-11.

Analytics

Added to PP
2023-08-30

Downloads
5 (#1,536,375)

6 months
3 (#965,065)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Add more citations

References found in this work

Definability and decision problems in arithmetic.Julia Robinson - 1949 - Journal of Symbolic Logic 14 (2):98-114.
Dp-Minimality: Basic Facts and Examples.Alfred Dolich, John Goodrick & David Lippel - 2011 - Notre Dame Journal of Formal Logic 52 (3):267-288.
Dp-minimal valued fields.Franziska Jahnke, Pierre Simon & Erik Walsberg - 2017 - Journal of Symbolic Logic 82 (1):151-165.
The canonical topology on dp-minimal fields.Will Johnson - 2018 - Journal of Mathematical Logic 18 (2):1850007.
On dp-minimality, strong dependence and weight.Alf Onshuus & Alexander Usvyatsov - 2011 - Journal of Symbolic Logic 76 (3):737 - 758.

View all 12 references / Add more references