Form equivalence class Howard-Rubin Number: 101
Statement:
For all sets \(x\) and \(y\), \(x \precsim^* y\) implies \(x\precsim y\).
Howard-Rubin number: 101 A
Citations (articles):
Lindenbaum/Tarski [1926]
Communication sur les recherches de la th'eorie des ensembles
Connections (notes): Note [69]
References (books):
Back