Imaginaries in real closed valued fields

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

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
Keywords No keywords specified (fix it)
Categories (categorize this paper)
DOI 10.1016/j.apal.2005.05.014
Options
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

Our Archive


Upload a copy of this paper     Check publisher's policy     Papers currently archived: 46,179
External links

Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
Through your library

References found in this work BETA

Real Closed Rings II. Model Theory.Gregory Cherlin & Max A. Dickmann - 1983 - Annals of Pure and Applied Logic 25 (3):213-231.
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.
Elimination of Quantifiers for Ordered Valuation Rings.M. A. Dickmann - 1987 - Journal of Symbolic Logic 52 (1):116-128.

Add more references

Citations of this work BETA

One-Basedness and Groups of the Form G/G 00.Davide Penazzi - 2011 - Archive for Mathematical Logic 50 (7-8):743-758.
Model Theory of Analytic Functions: Some Historical Comments.Deirdre Haskell - 2012 - Bulletin of Symbolic Logic 18 (3):368-381.

Add more citations

Similar books and articles

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.
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 index
2013-12-31

Total views
6 ( #996,430 of 2,285,598 )

Recent downloads (6 months)
1 ( #839,861 of 2,285,598 )

How can I increase my downloads?

Downloads

My notes

Sign in to use this feature