Form equivalence class Howard-Rubin Number: 51
Statement:
\(Z(L,W)\): Every non-empty linearly ordered set in which every well ordered subset has an upper bound has a maximal element. H. Rubin/J. Rubin [1985], page 37, \(M1(L,W)\).
Howard-Rubin number: 51 B
Citations (articles):
Harper/Rubin [1976]
Variations of Zorn's lemma, principles of cofinality, and Hausdorff's maximal principle, Part I and II
Manka [1988a]
Some forms of the axiom of choice,
Connections (notes):
Note [39]
In this note the results
of Harper/Rubin [1976] are summarized.
References (books): Book: Equivalents of the Axiom of Choice II, Rubin-Rubin, [1985]
Back