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: 92,611

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.
Degree spectra of real closed fields.Russell Miller & Victor Ocasio González - 2019 - Archive for Mathematical Logic 58 (3-4):387-411.
A transfer theorem for Henselian valued and ordered fields.Rafel Farré - 1993 - Journal of Symbolic Logic 58 (3):915 - 930.
Computable valued fields.Matthew Harrison-Trainor - 2018 - Archive for Mathematical Logic 57 (5-6):473-495.
O-minimal residue fields of o-minimal fields.Jana Maříková - 2011 - Annals of Pure and Applied Logic 162 (6):457-464.
An Intuitionistic Axiomatisation of Real Closed Fields.Erik Palmgren - 2002 - Mathematical Logic Quarterly 48 (2):297-299.
NIP henselian valued fields.Franziska Jahnke & Pierre Simon - 2020 - Archive for Mathematical Logic 59 (1-2):167-178.
Existentially closed ordered difference fields and rings.Françoise Point - 2010 - Mathematical Logic Quarterly 56 (3):239-256.
Some model theory for almost real closed fields.Françoise Delon & Rafel Farré - 1996 - Journal of Symbolic Logic 61 (4):1121-1152.
Grothendieck rings of ℤ-valued fields.Raf Cluckers & Deirdre Haskell - 2001 - Bulletin of Symbolic Logic 7 (2):262-269.
Grothendieck Rings of $mathbb{Z}$-Valued Fields.Raf Cluckers & Deirdre Haskell - 2001 - Bulletin of Symbolic Logic 7 (2):262-269.
Some Model Theory for Almost Real Closed Fields.Francoise Delon & Rafel Farre - 1996 - Journal of Symbolic Logic 61 (3):1121-1152.
Real Closed Exponential Subfields of Pseudo-Exponential Fields.Ahuva C. Shkop - 2013 - Notre Dame Journal of Formal Logic 54 (3-4):591-601.

Analytics

Added to PP
2019-07-02

Downloads
22 (#714,863)

6 months
12 (#223,952)

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