Form equivalence class Howard-Rubin Number: 202
Statement:
\(H(TR\&C,P)\): If \((X,R)\) is a transitive, connected relation. Then \(X\) has a \(\subseteq\)-maximal partially ordered subset.
Howard-Rubin number: 202 A
Citations (articles):
Harper/Rubin [1976]
Variations of Zorn's lemma, principles of cofinality, and Hausdorff's maximal principle, Part I and II
Connections (notes):
Note [39]
In this note the results
of Harper/Rubin [1976] are summarized.
References (books):
Back