𝔖 Bobbio Scriptorium
✦   LIBER   ✦

The Weak König Lemma and Uniform Continuity

✍ Scribed by Josef Berger

Book ID
124973784
Publisher
Association for Symbolic Logic
Year
2008
Tongue
English
Weight
485 KB
Volume
73
Category
Article
ISSN
0022-4812

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

On uniform weak König's lemma
On uniform weak König's lemma
✍ Ulrich Kohlenbach 📂 Article 📅 2002 🏛 Elsevier Science 🌐 English ⚖ 121 KB

The so-called weak K onig's lemma WKL asserts the existence of an inÿnite path b in any inÿnite binary tree (given by a representing function f). Based on this principle one can formulate subsystems of higher-order arithmetic which allow to carry out very substantial parts of classical mathematics b

Some conservation results on weak König'
Some conservation results on weak König's lemma
✍ Stephen G. Simpson; Kazuyuki Tanaka; Takeshi Yamazaki 📂 Article 📅 2002 🏛 Elsevier Science 🌐 English ⚖ 274 KB

By RCA0, we denote the system of second-order arithmetic based on recursive comprehension axioms and 0 1 induction. WKL0 is deÿned to be RCA0 plus weak K onig's lemma: every inÿnite tree of sequences of 0's and 1's has an inÿnite path. In this paper, we ÿrst show that for any countable model M of RC