The self-embedding theorem of \(\text{WKL}_ 0\) and a non-standard method

DOI10.1016/S0168-0072(95)00058-5zbMath0871.03044OpenAlexW2094306267MaRDI QIDQ676310

Kazuyuki Tanaka

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

zbMATH Keywords

reverse mathematicscontinuous functionsweak König's lemmacountable modelsecond-order arithmeticFriedman's embedding theorem

Mathematics Subject Classification ID

Nonstandard models of arithmetic (03H15) Second- and higher-order arithmetic and fragments (03F35)

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

• A Generalization of a Theorem of H. Friedman
• A Note on a Theorem of H. FRIEDMAN
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item