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.
Citation
Stephen G. Simpson. Keita Yokoyama. "A Nonstandard Counterpart of WWKL." Notre Dame J. Formal Logic 52 (3) 229 - 243, 2011. https://doi.org/10.1215/00294527-1435429
Information
