Form equivalence class Howard-Rubin Number: 118
Statement: For each linear order \((X,\le)\), there is an ordinal\(\alpha\) and a strictly increasing injective map \(j\) from \((X,\le)\) to\(\{0,1\}^\alpha\) with the lexicographic order. Morillon [1987].
Howard-Rubin number: 118 H
Citations (articles):
Connections (notes):
References (books):
Back