Statement:
If \(T\) is an infinite tree in which every element has exactly 2 immediate successors then \(T\) has an infinite branch.
Howard_Rubin_Number: 249
Parameter(s): This form does not depend on parameters
This form's transferability is: Unknown
This form's negation transferability is: Negation Transferable
Article Citations:
Truss-1975: Some cases of König's lemma
Book references
Note connections:
Note 87
In Truss [1975] weakenings of König's lemma are considered
Note 21
Definitions for forms [10 F], [14 M],
[14 N], [43 H],
[106 A], Form 216, and
Form 249.