Form equivalence class Howard-Rubin Number: 1
Statement:
For every partially ordered set \((X,\le )\), if every well ordered subset is bounded above then every function \(f : X \rightarrow X\) satisfying \(\forall t\in X\), \(t\le f(t)\) has a fixed point.
Howard-Rubin number: 1 V
Citations (articles):
Manka [1988a]
Some forms of the axiom of choice,
Abian [1980]
A fundamental fixed point theorem revisited
Connections (notes):
References (books):
Back