Pages that link to "Item:Q676310"

The following pages link to The self-embedding theorem of \(\text{WKL}_ 0\) and a non-standard method (Q676310):

Displayed 15 items.

• Nonstandard second-order arithmetic and Riemann's mapping theorem (Q386626) ‎ (← links)
• Categorical characterizations of the natural numbers require primitive recursion (Q476119) ‎ (← links)
• Nonstandard arithmetic and recursive comprehension (Q636343) ‎ (← links)
• The Jordan curve theorem and the Schönflies theorem in weak second-order arithmetic (Q884957) ‎ (← links)
• Tanaka's theorem revisited (Q2204369) ‎ (← links)
• Weaker cousins of Ramsey's theorem over a weak base theory (Q2231700) ‎ (← links)
• Unifying the model theory of first-order and second-order arithmetic via \(\mathrm{WKL}_0^\ast\) (Q2400502) ‎ (← links)
• 2010 European Summer Meeting of the Association for Symbolic Logic. Logic Colloquium '10 (Q3011106) ‎ (← links)
• Formalizing non-standard arguments in second-order arithmetic (Q3066789) ‎ (← links)
• 2006 Annual Meeting of the Association for Symbolic Logic (Q3594488) ‎ (← links)
• 10th Asian Logic Conference (Q3633210) ‎ (← links)
• A non-standard construction of Haar measure and weak König's lemma (Q4953213) ‎ (← links)
• (Q5015363) ‎ (← links)
• Nonstandard Arithmetic and Reverse Mathematics (Q5479570) ‎ (← links)
• The Paris-Harrington principle and second-order arithmetic -- bridging the finite and infinite Ramsey theorem (Q6119673) ‎ (← links)