The strong soundness theorem for real closed fields and Hilbert?s Nullstellensatz in second order arithmetic

Archive for Mathematical Logic 43 (3):337-349 (2004)

By RCA 0 , we denote a subsystem of second order arithmetic based on Δ0 1 comprehension and Δ0 1 induction. We show within this system that the real number system R satisfies all the theorems (possibly with non-standard length) of the theory of real closed fields under an appropriate truth definition. This enables us to develop linear algebra and polynomial ring theory over real and complex numbers, so that we particularly obtain Hilbert’s Nullstellensatz in RCA 0
Keywords Second order arithmetic  Reverse mathematics  Real closed fields  Algebraically closed fields  Hilbert’s Nullstellensatz
Categories (categorize this paper)
DOI 10.1007/s00153-003-0206-y
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: 44,504
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

No references found.

Add more references

Citations of this work BETA

Complex Analysis in Subsystems of Second Order Arithmetic.Keita Yokoyama - 2007 - Archive for Mathematical Logic 46 (1):15-35.

Add more citations

Similar books and articles

Groundwork for Weak Analysis.António M. Fernandes & Fernando Ferreira - 2002 - Journal of Symbolic Logic 67 (2):557-578.
Real Closed Exponential Subfields of Pseudo-Exponential Fields.Ahuva C. Shkop - 2013 - Notre Dame Journal of Formal Logic 54 (3-4):591-601.
Existentially Closed Fields with Holomorphy Rings.Joachim Schmid - 1997 - Archive for Mathematical Logic 36 (2):127-135.
Some Model Theory for Almost Real Closed Fields.Françoise Delon & Rafel Farré - 1996 - Journal of Symbolic Logic 61 (4):1121-1152.
Notes on the Stability of Separably Closed Fields.Carol Wood - 1979 - Journal of Symbolic Logic 44 (3):412-416.
The Isomorphism Problem for Classes of Computable Fields.Wesley Calvert - 2004 - Archive for Mathematical Logic 43 (3):327-336.
Constructing Ω-Stable Structures: Rank K-Fields.John T. Baldwin & Kitty Holland - 2003 - Notre Dame Journal of Formal Logic 44 (3):139-147.
Relative Randomness and Real Closed Fields.Alexander Raichev - 2005 - Journal of Symbolic Logic 70 (1):319 - 330.
Hilbert's 17th Problem for Real Closed Rings.Larry Mathews - 1994 - Mathematical Logic Quarterly 40 (4):445-454.


Added to PP index

Total views
19 ( #460,056 of 2,273,323 )

Recent downloads (6 months)
3 ( #405,965 of 2,273,323 )

How can I increase my downloads?


My notes

Sign in to use this feature