Bulletin of Symbolic Logic 12 (1):100-125 (2006)

Abstract
We show that each of the five basic theories of second order arithmetic that play a central role in reverse mathematics has a natural counterpart in the language of nonstandard arithmetic. In the earlier paper [3] we introduced saturation principles in nonstandard arithmetic which are equivalent in strength to strong choice axioms in second order arithmetic. This paper studies principles which are equivalent in strength to weaker theories in second order arithmetic
Keywords No keywords specified (fix it)
Categories (categorize this paper)
DOI 10.2178/bsl/1140640945
Options
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

PhilArchive copy


Upload a copy of this paper     Check publisher's policy     Papers currently archived: 71,436
Through your library

References found in this work BETA

Model Theory.Michael Makkai, C. C. Chang & H. J. Keisler - 1991 - Journal of Symbolic Logic 56 (3):1096.
Subsystems of Second-Order Arithmetic.Stephen G. Simpson - 2004 - Studia Logica 77 (1):129-129.
On the Strength of Nonstandard Analysis.C. Ward Henson & H. Jerome Keisler - 1986 - Journal of Symbolic Logic 51 (2):377-386.
The Self-Embedding Theorem of WKL0 and a Non-Standard Method.Kazuyuki Tanaka - 1997 - Annals of Pure and Applied Logic 84 (1):41-49.

Add more references

Citations of this work BETA

Infinitesimal Analysis Without the Axiom of Choice.Karel Hrbacek & Mikhail G. Katz - 2021 - Annals of Pure and Applied Logic 172 (6):102959.
Reverse Mathematics: The Playground of Logic.Richard A. Shore - 2010 - Bulletin of Symbolic Logic 16 (3):378-402.
A Nonstandard Counterpart of WWKL.Stephen G. Simpson & Keita Yokoyama - 2011 - Notre Dame Journal of Formal Logic 52 (3):229-243.

View all 16 citations / Add more citations

Similar books and articles

Inconsistent Nonstandard Arithmetic.Chris Mortensen - 1987 - Journal of Symbolic Logic 52 (2):512-518.
A Nonstandard Counterpart of WWKL.Stephen G. Simpson & Keita Yokoyama - 2011 - Notre Dame Journal of Formal Logic 52 (3):229-243.
Regularity in Models of Arithmetic.George Mills & Jeff Paris - 1984 - Journal of Symbolic Logic 49 (1):272-280.
Quantum Mathematics.J. Michael Dunn - 1980 - PSA: Proceedings of the Biennial Meeting of the Philosophy of Science Association 1980:512 - 531.
Kant’s Theory of Arithmetic: A Constructive Approach? [REVIEW]Kristina Engelhard & Peter Mittelstaedt - 2008 - Journal for General Philosophy of Science / Zeitschrift für Allgemeine Wissenschaftstheorie 39 (2):245 - 271.
Reverse Mathematics: The Playground of Logic.Richard A. Shore - 2010 - Bulletin of Symbolic Logic 16 (3):378-402.

Analytics

Added to PP index
2009-01-28

Total views
50 ( #228,683 of 2,520,355 )

Recent downloads (6 months)
1 ( #406,012 of 2,520,355 )

How can I increase my downloads?

Downloads

My notes