Form equivalence class Howard-Rubin Number: 3
Statement: \(E(II,V)\): For every set \(X\), if there is a non-emptyfamily of subsets of \(X\) which is linearly ordered by \(\subseteq\) andhas no maximal element then \(2|X| = |X|\). Howard/Yorke [1989] andNote 94.
Howard-Rubin number: 3 G
Citations (articles):
Connections (notes):
References (books):
Back