Residue Field Domination in Real Closed Valued Fields

Notre Dame Journal of Formal Logic 60 (3):333-351 (2019)
  Copy   BIBTEX

Abstract

We define a notion of residue field domination for valued fields which generalizes stable domination in algebraically closed valued fields. We prove that a real closed valued field is dominated by the sorts internal to the residue field, over the value group, both in the pure field and in the geometric sorts. These results characterize forking and þ-forking in real closed valued fields (and also algebraically closed valued fields). We lay some groundwork for extending these results to a power-bounded T-convex theory.

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 93,296

External links

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

Through your library

Similar books and articles

Imaginaries in real closed valued fields.Timothy Mellor - 2006 - Annals of Pure and Applied Logic 139 (1):230-279.
Burden of Henselian Valued Fields in the Denef–Pas Language.Peter Sinclair - 2022 - Notre Dame Journal of Formal Logic 63 (4):463-480.
Strongly Minimal Reducts of Valued Fields.Piotr Kowalski & Serge Randriambololona - 2016 - Journal of Symbolic Logic 81 (2):510-523.
Computable valued fields.Matthew Harrison-Trainor - 2018 - Archive for Mathematical Logic 57 (5-6):473-495.
Ganzstellensätze in theories of valued fields.Deirdre Haskell & Yoav Yaffe - 2008 - Journal of Mathematical Logic 8 (1):1-22.
Existentially closed ordered difference fields and rings.Françoise Point - 2010 - Mathematical Logic Quarterly 56 (3):239-256.
A transfer theorem for Henselian valued and ordered fields.Rafel Farré - 1993 - Journal of Symbolic Logic 58 (3):915 - 930.
Stable Embeddedness in Algebraically Closed Valued Fields.E. Hrushovski & A. Tatarsky - 2006 - Journal of Symbolic Logic 71 (3):831 - 862.
Transfer Principles in Henselian Valued Fields.Pierre Touchard - 2021 - Bulletin of Symbolic Logic 27 (2):222-223.

Analytics

Added to PP
2019-07-02

Downloads
22 (#733,560)

6 months
12 (#243,143)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

The domination monoid in o-minimal theories.Rosario Mennuni - 2021 - Journal of Mathematical Logic 22 (1).

Add more citations

References found in this work

A geometric introduction to forking and thorn-forking.Hans Adler - 2009 - Journal of Mathematical Logic 9 (1):1-20.
Real closed rings II. model theory.Gregory Cherlin & Max A. Dickmann - 1983 - Annals of Pure and Applied Logic 25 (3):213-231.
Characterizing Rosy Theories.Clifton Ealy & Alf Onshuus - 2007 - Journal of Symbolic Logic 72 (3):919 - 940.
Properties and Consequences of Thorn-Independence.Alf Onshuus - 2006 - Journal of Symbolic Logic 71 (1):1 - 21.
T-Convexity and Tame Extensions.Dries Lou Van Den & H. Lewenberg Adam - 1995 - Journal of Symbolic Logic 60 (1):74 - 102.

View all 12 references / Add more references