Form equivalence class Howard-Rubin Number: 40
Statement:
For each idemmultiple set \(x\) (\(2\times x\approx x\)), if there exists a surjection \(f\) mapping \(x\) onto an ordinal \(\lambda\) such that for each \(\psi < \lambda\), \(f^{-1}[\{\psi\}]\) is Dedekind infinite, then \(\lambda \precsim x\).
Howard-Rubin number: 40 C
Citations (articles):
Higasikawa [1995]
Partition principles and infinite sums of cardinal numbers
Connections (notes):
Note [94]
Relationships between the different definitions of finite
References (books):
Back