Form equivalence class Howard-Rubin Number: 51
Statement:
For every linearly ordered set \((X,\le )\), if every well ordered subset of \(X\) is bounded above then there is a \(\sup\) function on the well ordered subsets of \(X\).
Howard-Rubin number: 51 C
Citations (articles):
Manka [1988a]
Some forms of the axiom of choice,
Connections (notes):
Note [38]
Definitions from Manka [1988a] and Manka [1988b]
References (books):
Back