Imaginaries in real closed valued fields

Annals of Pure and Applied Logic 139 (1):230-279 (2006)
  Copy   BIBTEX

Abstract

The paper shows elimination of imaginaries for real closed valued fields to suitable sorts. We also show that this result is in some sense optimal. The paper includes a quantifier elimination theorem for real closed valued fields in a language with sorts for the field, value group and residue field

Categories

Keywords

Reprint years

DOI

10.1016/j.apal.2005.05.014

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 92,347

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

Prototypes for definable subsets of algebraically closed valued fields.Jan E. Holly - 1997 - Journal of Symbolic Logic 62 (4):1093-1141.
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.
Unexpected imaginaries in valued fields with analytic structure.Deirdre Haskell, Ehud Hrushovski & Dugald Macpherson - 2013 - Journal of Symbolic Logic 78 (2):523-542.
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.
0-D-Valued Fields.Nicolas Guzy - 2006 - Journal of Symbolic Logic 71 (2):639 - 660.
Some model theory for almost real closed fields.Françoise Delon & Rafel Farré - 1996 - Journal of Symbolic Logic 61 (4):1121-1152.
Stable Embeddedness in Algebraically Closed Valued Fields.E. Hrushovski & A. Tatarsky - 2006 - Journal of Symbolic Logic 71 (3):831 - 862.
The undecidability of intuitionistic theories of algebraically closed fields and real closed fields.Dov M. Gabbay - 1973 - Journal of Symbolic Logic 38 (1):86-92.
Real Closed Exponential Subfields of Pseudo-Exponential Fields.Ahuva C. Shkop - 2013 - Notre Dame Journal of Formal Logic 54 (3-4):591-601.
ŁΠ logic with fixed points.Luca Spada - 2008 - Archive for Mathematical Logic 47 (7-8):741-763.
Notes on the stability of separably closed fields.Carol Wood - 1979 - Journal of Symbolic Logic 44 (3):412-416.
A transfer theorem for Henselian valued and ordered fields.Rafel Farré - 1993 - Journal of Symbolic Logic 58 (3):915 - 930.
Relative Randomness and Real Closed Fields.Alexander Raichev - 2005 - Journal of Symbolic Logic 70 (1):319 - 330.

Analytics

Added to PP
2013-12-31

Downloads
14 (#996,159)

6 months
4 (#798,558)

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).
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.

View all 9 citations / Add more citations

References found in this work

Real closed rings II. model theory.Gregory Cherlin & Max A. Dickmann - 1983 - Annals of Pure and Applied Logic 25 (3):213-231.
Elimination of quantifiers for ordered valuation rings.M. A. Dickmann - 1987 - Journal of Symbolic Logic 52 (1):116-128.
T-Convexity and Tame Extensions II.Lou Van Den Dries - 1997 - Journal of Symbolic Logic 62 (1):14 - 34.
T-convexity and tame extensions II.Lou van den Dries - 1997 - Journal of Symbolic Logic 62 (1):14-34.

Add more references