Form equivalence class Howard-Rubin Number: 144
Statement: Every \(\cal W\)-inductive decreasing system(i.e., closed under \(\subseteq\)) is of finite character.Ern\'e [2000] and Note 154.
Howard-Rubin number: 144 D
Citations (articles):
Connections (notes):
References (books):
Back