A Nonstandard Counterpart of WWKL

Stephen G. Simpson, Keita Yokoyama. A Nonstandard Counterpart of WWKL. Notre Dame Journal of Formal Logic, 52(3):229-243, 2011. [doi]

Abstract

Abstract is missing.