Form equivalence class Howard-Rubin Number: 14
Statement: R. Cowen's Generalization of Konig's Lemma: Let\(T\) be a collection of locally finite trees such that for any finiteset of levels of \(T\), there is a consistent set of verticespiercing those levels. Then there is a consistent set ofvertices piercing the entire set of levels of T. Cowen [1977b]and Note 21.
Howard-Rubin number: 14 M
Citations (articles):
Connections (notes):
References (books):
Back