A Nonstandard Counterpart of WWKL

作者：Simpson Stephen G^*; Yokoyama Keita

来源：Notre Dame Journal of Formal Logic, 2011, 52(3): 229-243.

DOI：10.1215/00294527-1435429

• second-order arithmetic
• nonstandard analysis
• reverse mathematics
• weak weak Konig's lemma
• Martin-Lof random

In this paper, we introduce a system of nonstandard second-order arithmetic ns-WWKL0 which consists of ns-BASIC plus Loeb measure property. Then we show that ns-WWKL0 is a conservative extension of WWKL0 and we do Reverse Mathematics for this system.

• 出版日期2011