A Nonstandard Counterpart of WWKL
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) |
| DOI | 10.1215/00294527-1435429 |
| Options |
Edit this record
Mark as duplicate
Export citation
Request removal from index
|
Download options
Our Archive
Upload a copy of this paper Check publisher's policy Papers currently archived: 46,425
External links
- From the Publisher via CrossRef (no proxy)
- projecteuclid.org
(no proxy) - projecteuclid.org [2] (no proxy)
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
- Sign in / register and customize your OpenURL resolver..
- Configure custom resolver
References found in this work BETA
No references found.
Citations of this work BETA
Propagation of Partial Randomness.Kojiro Higuchi, W. M. Phillip Hudelson, Stephen G. Simpson & Keita Yokoyama - 2014 - Annals of Pure and Applied Logic 165 (2):742-758.
Nonstandard Second-Order Arithmetic and Riemannʼs Mapping Theorem.Yoshihiro Horihata & Keita Yokoyama - 2014 - Annals of Pure and Applied Logic 165 (2):520-551.
Cone Avoidance and Randomness Preservation.Stephen G. Simpson & Frank Stephan - 2015 - Annals of Pure and Applied Logic 166 (6):713-728.
Similar books and articles
Nonstandard Arithmetic and Reverse Mathematics.H. Jerome Keisler - 2006 - Bulletin of Symbolic Logic 12 (1):100-125.
On a Definition of a Variety of Monadic ℓ-Groups.José Luis Castiglioni, Renato A. Lewin & Marta Sagastume - 2014 - Studia Logica 102 (1):67-92.
Nonstandard Natural Number Systems and Nonstandard Models.Shizuo Kamo - 1981 - Journal of Symbolic Logic 46 (2):365-376.
Transfer Principles in Nonstandard Intuitionistic Arithmetic.Jeremy Avigad & Jeffrey Helzner - 2002 - Archive for Mathematical Logic 41 (6):581-602.
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.
The Strength of Nonstandard Methods in Arithmetic.C. Ward Henson, Matt Kaufmann & H. Jerome Keisler - 1984 - Journal of Symbolic Logic 49 (4):1039-1058.
Inconsistent Nonstandard Arithmetic.Chris Mortensen - 1987 - Journal of Symbolic Logic 52 (2):512-518.
Nonstandard Characterizations of Recursive Saturation and Resplendency.Stuart T. Smith - 1987 - Journal of Symbolic Logic 52 (3):842-863.
On External Scott Algebras in Nonstandard Models of Peano Arithmetic.Vladimir Kanovei - 1996 - Journal of Symbolic Logic 61 (2):586-607.
Analytics
Added to PP index
2011-07-29
Total views
10 ( #776,024 of 2,286,307 )
Recent downloads (6 months)
4 ( #319,711 of 2,286,307 )
2011-07-29
Total views
10 ( #776,024 of 2,286,307 )
Recent downloads (6 months)
4 ( #319,711 of 2,286,307 )
How can I increase my downloads?
Downloads
