Open Access
2011 A Nonstandard Counterpart of WWKL
Stephen G. Simpson, Keita Yokoyama
Notre Dame J. Formal Logic 52(3): 229-243 (2011). DOI: 10.1215/00294527-1435429


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.


Download Citation

Stephen G. Simpson. Keita Yokoyama. "A Nonstandard Counterpart of WWKL." Notre Dame J. Formal Logic 52 (3) 229 - 243, 2011.


Published: 2011
First available in Project Euclid: 28 July 2011

zbMATH: 1250.03118
MathSciNet: MR2822486
Digital Object Identifier: 10.1215/00294527-1435429

Primary: 03F35
Secondary: 26E35

Keywords: Martin-Loef random , nonstandard analysis , reverse mathematics , second-order arithmetic , weak weak Koeonig's lemma

Rights: Copyright © 2011 University of Notre Dame

Vol.52 • No. 3 • 2011
Back to Top