Form equivalence class Howard-Rubin Number: 87-alpha
Statement:
\(Z^{*}_{\aleph_{\alpha}}\): Let \(P\) be a well-founded partially ordered set (that is, every chain in \(P\) is well ordered.) in which every chain has type \(< \aleph_{\alpha}\). If every chain in \(P\) has an upper bound in \(P\), then \(P\) contains a maximal element.
Howard-Rubin number: 87B-alpha
Citations (articles):
Wolk [1983]
On the principle of dependent choice and some forms of Zorn's Lemma
Connections (notes):
References (books):
Back