A nonstandard counterpart of WWKL
From MaRDI portal
Publication:645739
DOI10.1215/00294527-1435429zbMath1250.03118OpenAlexW1996532779MaRDI QIDQ645739
Stephen G. Simpson, Keita Yokoyama
Publication date: 10 November 2011
Published in: Notre Dame Journal of Formal Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1215/00294527-1435429
nonstandard analysisreverse mathematicssecond-order arithmeticweak weak König's lemmaMartin-Löf random
Foundations of classical theories (including reverse mathematics) (03B30) Second- and higher-order arithmetic and fragments (03F35) Nonstandard analysis (26E35)
Related Items (10)
Reverse mathematics and parameter-free transfer ⋮ Nonstandard second-order arithmetic and Riemann's mapping theorem ⋮ Propagation of partial randomness ⋮ To be or not to be constructive, that is not the question ⋮ Unnamed Item ⋮ The Dirac delta function in two settings of reverse mathematics ⋮ COMPUTABILITY THEORY, NONSTANDARD ANALYSIS, AND THEIR CONNECTIONS ⋮ The strength of compactness in computability theory and nonstandard analysis ⋮ Cone avoidance and randomness preservation ⋮ THE REVERSE MATHEMATICS OF THEOREMS OF JORDAN AND LEBESGUE
This page was built for publication: A nonstandard counterpart of WWKL
