Statement:

\(Z(TR\&C,P)\): If \((X,R)\) is a transitive and connected relation in which every partially ordered subset has an upper bound, then \((X,R)\) has a maximal element.

Howard_Rubin_Number: 260

Parameter(s): This form does not depend on parameters

This form's transferability is: Unknown

This form's negation transferability is: Negation Transferable

Article Citations:
Harper-Rubin-1976: Variations of Zorn's lemma, principles of cofinality, and Hausdorff's maximal principle, Part I and II

Book references

Note connections:
Note 39 In this note the results of Harper/Rubin [1976] are summarized.

The following forms are listed as conclusions of this form class in rfb1: 40,

Back