Strongly NIP almost real closed fields

DOI10.1002/MALQ.202000060MaRDI QIDQ6047712zbMATH OpenOpenAlexFDO

Authors Lothar Sebastian Krapp, Salma Kuhlmann, Gabriel Lehéricy

Publication date 12 September 2023

Published in Mathematical Logic Quarterly (Search for Journal in Brave)

Copyright license Creative Commons Attribution-NonCommercial 4.0 International

Full work available at URL https://arxiv.org/abs/2010.14770

Mathematics Subject Classification ID

Classification theory, stability, and related concepts in model theory (03C45) Model-theoretic algebra (03C60) Valued fields (12J10) Model theory of fields (12L12)

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.

Recommendations

• Dp-finite fields. I(A): The infinitesimals
• Definable V-topologies, Henselianity and NIP
• Definable valuations induced by multiplicative subgroups and NIP fields
• NIP Henselian valued fields
• Ordered fields dense in their real closure and definable convex valuations

Cites work

• A conjectural classification of strongly dependent fields
• A Guide to NIP Theories
• A transfer theorem for Henselian valued and ordered fields
• Definability and decision problems in arithmetic
• Definable Sets in Ordered Structures. I
• Definable Sets in Ordered Structures. III
• Definable valuations induced by multiplicative subgroups and NIP fields
• Dependent first order theories, continued
• Dp-minimal valued fields
• Dp-minimality: basic facts and examples
• Eliminating field quantifiers in strongly dependent henselian fields
• Elimination of quantifiers for ordered valuation rings
• Henselian valued fields and inp-minimality
• scientific article; zbMATH DE number 3518914 (Why is no real title available?)
• Lectures on the model theory of valued fields
• On dp-minimality, strong dependence and weight
• Ordered exponential fields
• Ordered fields dense in their real closure and definable convex valuations
• Shorter Notes: On the Undecidability of Power Series Fields
• Some model theory for almost real closed fields
• Stability, the f.c.p., and superstability; model theoretic properties of formulas in first order theory
• Strongly dependent ordered abelian groups and Henselian fields
• Strongly dependent theories
• The canonical topology on dp-minimal fields
• Valued Fields
• Weakly o-minimal structures and real closed fields

Cited in

(4)

• Definable valuations induced by multiplicative subgroups and NIP fields
• Eliminating field quantifiers in strongly dependent henselian fields
• Definable V-topologies, Henselianity and NIP
• A conjectural classification of strongly dependent fields

This page was built for publication: Strongly NIP almost real closed fields

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6047712)