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

DOI10.1016/S0168-0072(95)00058-5zbMATH Open0871.03044OpenAlexW2094306267MaRDI QIDQ676310FDOQ676310

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

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}\)

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)

Cites Work

• Subsystems of second order arithmetic
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• A Generalization of a Theorem of H. Friedman
• A Note on a Theorem of H. FRIEDMAN
• Title not available (Why is that?)
• Title not available (Why is that?)

Cited In (20)

• 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
• A non-standard construction of Haar measure and weak König's lemma
• Subsystems of second-order arithmetic between \(\text{RCA}_{0}\) and \(\text{WKL}_{0}\)
• The computational content of nonstandard analysis
• Title not available (Why is that?)
• 2006 Annual Meeting of the Association for Symbolic Logic
• A new proof of Tanaka's theorem
• The Paris-Harrington principle and second-order arithmetic -- bridging the finite and infinite Ramsey theorem
• Tanaka's theorem revisited
• Nonstandard second-order arithmetic and Riemann's mapping theorem
• Notes on various versions of Friedman's self-embedding theorem
• Nonstandard Arithmetic and Reverse Mathematics

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)