More by Keita Yokoyama

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.