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