The self-embedding theorem of \(\text{WKL}_ 0\) and a non-standard method
From MaRDI portal
Publication:676310
DOI10.1016/S0168-0072(95)00058-5zbMath0871.03044OpenAlexW2094306267MaRDI QIDQ676310
Publication date: 3 September 1997
Published in: Annals of Pure and Applied Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/s0168-0072(95)00058-5
reverse mathematicscontinuous functionsweak König's lemmacountable modelsecond-order arithmeticFriedman's embedding theorem
Related Items
Unifying the model theory of first-order and second-order arithmetic via \(\mathrm{WKL}_0^\ast\), Nonstandard second-order arithmetic and Riemann's mapping theorem, The Jordan curve theorem and the Schönflies theorem in weak second-order arithmetic, The Paris-Harrington principle and second-order arithmetic -- bridging the finite and infinite Ramsey theorem, Nonstandard arithmetic and recursive comprehension, Tanaka's theorem revisited, Unnamed Item, Categorical characterizations of the natural numbers require primitive recursion, Weaker cousins of Ramsey's theorem over a weak base theory, 2010 European Summer Meeting of the Association for Symbolic Logic. Logic Colloquium '10, 2006 Annual Meeting of the Association for Symbolic Logic, A non-standard construction of Haar measure and weak König's lemma, Formalizing non-standard arguments in second-order arithmetic, 10th Asian Logic Conference, Nonstandard Arithmetic and Reverse Mathematics
Cites Work
