A nonstandard counterpart of WWKL (Q645739)

In [\textit{K. Yokoyama}, J. Symb. Log. 75, No. 4, 1199--1210 (2010; Zbl 1214.03047)] the second author introduced the nonstandard systems \(\mathrm {ns-BASIC}\), \(\mathrm {ns-WKL}{_0}\) and \(\mathrm {ns-ACA}{_0}\) which correspond to the systems \(\mathrm {RCA}{_0}\) respectively \(\mathrm {WKL}{_0}\) and \(\mathrm {ACA}{_0}\) from reverse mathematics. He showed that each of the nonstandard systems implies the corresponding standard system and is conservative over it. In this paper the authors introduce the nonstandard system \(\mathrm {ns-WWKL}{_0}\) which corresponds to \(\mathrm {WWKL}{_0}\) (weak weak König's lemma) in the sense that \(\mathrm {ns-WWKL}{_0}\) implies \(\mathrm {WWKL}{_0}\) and is conservative over it. The system \(\mathrm {ns-WWKL}{_0}\) is formulated using the so-called Loeb measure property. Moreover, the authors explore the reverse mathematics of this system and applications to the reverse mathematics over the standard system \(\mathrm {WWKL}{_0}\).