Form equivalence class Howard-Rubin Number: 10
Statement: K\"onig's Lemma: Every \(\omega\) tree has aninfinite chain. Pincus [1972c], Note 21, and Note 35.
Howard-Rubin number: 10 F
Citations (articles):
Connections (notes):
References (books):
Back