Notre Dame Journal of Formal Logic 52 (3):229-243 (2011)

Abstract
In this paper, we introduce a system of nonstandard second-order arithmetic $\mathsf{ns}$-$\mathsf{WWKL_0}$ which consists of $\mathsf{ns}$-$\mathsf{BASIC}$ plus Loeb measure property. Then we show that $\mathsf{ns}$-$\mathsf{WWKL_0}$ is a conservative extension of $\mathsf{WWKL_0}$ and we do Reverse Mathematics for this system
Keywords second-order arithmetic   nonstandard analysis   reverse mathematics   weak weak Koeonig's lemma   Martin-Loef random
Categories (categorize this paper)
Reprint years 2011
DOI 10.1215/00294527-1435429
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: 59,068
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

Almost Everywhere Domination and Superhighness.Stephen G. Simpson - 2007 - Mathematical Logic Quarterly 53 (4):462-482.
Measure Theory and Weak König's Lemma.Xiaokang Yu & Stephen G. Simpson - 1990 - Archive for Mathematical Logic 30 (3):171-180.
Nonstandard Arithmetic and Reverse Mathematics.H. Jerome Keisler - 2006 - Bulletin of Symbolic Logic 12 (1):100-125.
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

Reverse Mathematics and Parameter-Free Transfer.Benno van den Berg & Sam Sanders - 2019 - Annals of Pure and Applied Logic 170 (3):273-296.
Cone Avoidance and Randomness Preservation.Stephen G. Simpson & Frank Stephan - 2015 - Annals of Pure and Applied Logic 166 (6):713-728.

Add more citations

Similar books and articles

Nonstandard Arithmetic and Reverse Mathematics.H. Jerome Keisler - 2006 - Bulletin of Symbolic Logic 12 (1):100-125.
Nonstandard Natural Number Systems and Nonstandard Models.Shizuo Kamo - 1981 - Journal of Symbolic Logic 46 (2):365-376.
Nonstandard Set Theory.Peter Fletcher - 1989 - Journal of Symbolic Logic 54 (3):1000-1008.
Set Theoretic Properties of Loeb Measure.Arnold W. Miller - 1990 - Journal of Symbolic Logic 55 (3):1022-1036.
Pseudo-Superstructures as Nonstandard Universes.Mauro Di Nasso - 1998 - Journal of Symbolic Logic 63 (1):222 - 236.
Inconsistent Nonstandard Arithmetic.Chris Mortensen - 1987 - Journal of Symbolic Logic 52 (2):512-518.
Second-Order Non-Nonstandard Analysis.J. M. Henle - 2003 - Studia Logica 74 (3):399 - 426.

Analytics

Added to PP index
2011-07-29

Total views
15 ( #657,950 of 2,427,806 )

Recent downloads (6 months)
3 ( #230,662 of 2,427,806 )

How can I increase my downloads?

Downloads

My notes