The self-embedding theorem of WKL_ 0 and a non-standard method

DOI10.1016/S0168-0072(95)00058-5MaRDI QIDQ676310zbMATH OpenOpenAlexFDO

Authors 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

continuous functionsreverse mathematicssecond-order arithmeticcountable model[https://portal.mardi4nfdi.de/w/index.php?title=+Special%3ASearch&search=weak+K%EF%BF%BD%EF%BF%BDnig%27s+lemma&go=Go weak K��nig's lemma]Friedman's embedding theorem

Mathematics Subject Classification ID

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

Recommendations

• Tanaka's theorem revisited
• A new proof of Tanaka's theorem
• Subsystems of second-order arithmetic between \(\text{RCA}_{0}\) and \(\text{WKL}_{0}\)

Cites work

• scientific article; zbMATH DE number 3425598 (Why is no real title available?)
• scientific article; zbMATH DE number 3855080 (Why is no real title available?)
• scientific article; zbMATH DE number 4057512 (Why is no real title available?)
• scientific article; zbMATH DE number 3566838 (Why is no real title available?)
• scientific article; zbMATH DE number 619555 (Why is no real title available?)
• scientific article; zbMATH DE number 227056 (Why is no real title available?)
• scientific article; zbMATH DE number 3291134 (Why is no real title available?)
• scientific article; zbMATH DE number 3316918 (Why is no real title available?)
• A Generalization of a Theorem of H. Friedman
• A Note on a Theorem of H. FRIEDMAN
• Subsystems of second order arithmetic

Cited in

(20)

• Notes on various versions of Friedman's self-embedding theorem
• Nonstandard Arithmetic and Reverse Mathematics
• Nonstandard arithmetic and recursive comprehension
• 10th Asian Logic Conference
• Unifying the model theory of first-order and second-order arithmetic via \(\mathrm{WKL}_0^\ast\)
• 2010 European Summer Meeting of the Association for Symbolic Logic. Logic Colloquium '10
• The Jordan curve theorem and the Schönflies theorem in weak second-order arithmetic
• Weaker cousins of Ramsey's theorem over a weak base theory
• \(\mathsf{WKL}_0\) and induction principles in model theory
• Formalizing non-standard arguments in second-order arithmetic
• Categorical characterizations of the natural numbers require primitive recursion
• Subsystems of second-order arithmetic between \(\text{RCA}_{0}\) and \(\text{WKL}_{0}\)
• A non-standard construction of Haar measure and weak König's lemma
• The computational content of nonstandard analysis
• 2006 Annual Meeting of the Association for Symbolic Logic
• scientific article; zbMATH DE number 2236645 (Why is no real title available?)
• A new proof of Tanaka's theorem
• Nonstandard second-order arithmetic and Riemann's mapping theorem
• Tanaka's theorem revisited
• The Paris-Harrington principle and second-order arithmetic -- bridging the finite and infinite Ramsey theorem

This page was built for publication: The self-embedding theorem of \(\text{WKL}_ 0\) and a non-standard method

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q676310)