Form equivalence class Howard-Rubin Number: 77
Statement:
If a linearly ordered set \((X,\le)\) has no greatest element then it has a subset of order type \(\omega\).
Howard-Rubin number: 77 A
Citations (articles):
Sierpiński [1918]
L’axiome de M. Zermelo et son rˆole dans la th´eorie des ensembles et l’analyse
Connections (notes):
References (books):
Back