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: 93,990

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

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.
0-D-Valued Fields.Nicolas Guzy - 2006 - Journal of Symbolic Logic 71 (2):639 - 660.
Quantifier elimination on some pseudo-algebraically closed valued fields.Jizhan Hong - 2023 - Annals of Pure and Applied Logic 174 (1):103170.
Prototypes for Definable Subsets of Algebraically Closed Valued Fields.Jan Holly - 1997 - Journal of Symbolic Logic 62 (4):1093-1141.
Prototypes for definable subsets of algebraically closed valued fields.Jan E. Holly - 1997 - Journal of Symbolic Logic 62 (4):1093-1141.
On the Proof of Elimination of Imaginaries in Algebraically Closed Valued Fields.Will Johnson - 2020 - Notre Dame Journal of Formal Logic 61 (3):363-381.
An Intuitionistic Axiomatisation of Real Closed Fields.Erik Palmgren - 2002 - Mathematical Logic Quarterly 48 (2):297-299.
Quantifier elimination for the theory of algebraically closed valued fields with analytic structure.Yalin Firat Çelikler - 2007 - Mathematical Logic Quarterly 53 (3):237-246.
A short note on groups in separably closed valued fields.Silvain Rideau-Kikuchi - 2021 - Annals of Pure and Applied Logic 172 (4):102943.
Imaginaries in pairs of algebraically closed fields.Anand Pillay - 2007 - Annals of Pure and Applied Logic 146 (1):13-20.

Analytics

Added to PP
2013-12-31

Downloads
15 (#948,666)

6 months
4 (#1,006,062)

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