A Valuation Theoretic Characterization of Recursively Saturated Real Closed Fields

, &
Journal of Symbolic Logic 80 (1):194-206 (2015)
  Copy   BIBTEX

Abstract

We give a valuation theoretic characterization for a real closed field to be recursively saturated. This builds on work in [9], where the authors gave such a characterization forκ-saturation, for a cardinal$\kappa \ge \aleph _0 $. Our result extends the characterization of Harnik and Ressayre [7] for a divisible ordered abelian group to be recursively saturated.

Categories

Keywords

Reprint years

DOI

10.1017/jsl.2014.21

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,672

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

Real closed fields and models of Peano arithmetic.P. D'Aquino, J. F. Knight & S. Starchenko - 2010 - Journal of Symbolic Logic 75 (1):1-11.
Boolean products of real closed valuation rings and fields.Jorge I. Guier - 2001 - Annals of Pure and Applied Logic 112 (2-3):119-150.
Some model theory for almost real closed fields.Françoise Delon & Rafel Farré - 1996 - Journal of Symbolic Logic 61 (4):1121-1152.
A Galois correspondence for countable short recursively saturated models of PA.Erez Shochat - 2010 - Mathematical Logic Quarterly 56 (3):228-238.
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.
Completions of Convexly Ordered Valuation Rings.Larry Mathews - 1994 - Mathematical Logic Quarterly 40 (3):318-330.
A generalization of the Keisler-Morley theorem to recursively saturated ordered structures.Shahram Mohsenipour - 2007 - Mathematical Logic Quarterly 53 (3):289-294.
Automorphisms of Countable Short Recursively Saturated Models of PA.Erez Shochat - 2008 - Notre Dame Journal of Formal Logic 49 (4):345-360.
An Intuitionistic Axiomatisation of Real Closed Fields.Erik Palmgren - 2002 - Mathematical Logic Quarterly 48 (2):297-299.
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.
Saturation and stability in the theory of computation over the reals.Olivier Chapuis & Pascal Koiran - 1999 - Annals of Pure and Applied Logic 99 (1-3):1-49.
Four Problems Concerning Recursively Saturated Models of Arithmetic.Roman Kossak - 1995 - Notre Dame Journal of Formal Logic 36 (4):519-530.
Imaginaries in real closed valued fields.Timothy Mellor - 2006 - Annals of Pure and Applied Logic 139 (1):230-279.
Hilbert's 17th Problem for Real Closed Rings.Larry Mathews - 1994 - Mathematical Logic Quarterly 40 (4):445-454.
XVIIème problème de Hilbert sur Les corps chaîne-clos.Françoise Delon & Danielle Gondard - 1991 - Journal of Symbolic Logic 56 (3):853-861.

Analytics

Added to PP
2016-06-30

Downloads
26 (#607,778)

6 months
4 (#776,943)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Representing Scott sets in algebraic settings.Alf Dolich, Julia F. Knight, Karen Lange & David Marker - 2015 - Archive for Mathematical Logic 54 (5-6):631-637.

Add more citations

References found in this work

Linear Orderings.Joseph G. Rosenstein - 1983 - Journal of Symbolic Logic 48 (4):1207-1209.
[Omnibus Review].J. P. Ressayre - 1983 - Journal of Symbolic Logic 48 (2):484-485.

Add more references