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 functionscountable modelFriedman's embedding theoremreverse mathematicssecond-order arithmeticweak König's lemma

Mathematics Subject Classification ID

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

Review text

\(\text{WKL}_0\) is a system of second-order arithmetic consisting of the axioms of discretely ordered semirings, \(\Sigma^{0}_1\) induction, \(\Delta^{0}_1\) comprehension and weak König's lemma. The paper is devoted to the proof of the following version of Friedman's embedding theorem: every countable model of \(\text{WKL}_0\) is isomorphic to a proper initial segment of itself. In particular, if \((M,X)\) is a model of \(\text{WKL}_0\) then there is a countable model \(N\) of \(I\Sigma^{0}_1\) such that \(M\) is an initial segment of \(N\) and \(X\) is the family of subsets of \(M\) coded in \(N\). The last section of the paper outlines an application of the embedding theorem to the development of the theory of continuous functions in \(\text{WKL}_0\).

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

• A Generalization of a Theorem of H. Friedman
• A Note on a Theorem of H. FRIEDMAN
• 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?)
• Subsystems of second order arithmetic

Cited in

(20)

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

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)