Form equivalence class Howard-Rubin Number: 43
Statement: Every tree in which every element has at leastone successor has a branch. Blass [1979] and Note 21.
Howard-Rubin number: 43 H
Citations (articles):
Connections (notes):
References (books):
Back