Form equivalence class Howard-Rubin Number: 0
Statement:
For all partially ordered sets \((X,\le)\), if there is a \(\sup\) function \(\sigma\) on the well ordered subsets of \(X\) then every \(f: X\rightarrow X\) satisfying \(\forall t \in X\), \(t\le f(t)\) has a fixed point.
Howard-Rubin number: 0 K
Citations (articles):
Manka [1998a]
Some forms of the axiom of choice
Connections (notes):
Note [38]
Definitions from Manka [1988a] and Manka [1988b]
References (books):
Back