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