Form equivalence class Howard-Rubin Number: 0
Statement:
Zermelo's Fixed Point Theorem: For every partially ordered set \((X,\le)\), if every well ordered subset has a least upper bound then every \(f: X\rightarrow X\) satisfying \(\forall t \in X\), \(t\le f(t)\) has a fixed point.
Howard-Rubin number: 0 J
Citations (articles):
Manka [1998a]
Some forms of the axiom of choice
Zermelo [1908b]
Untersuchungen uber die Grundlagen der Mengenlehre I
Abian [1980]
A fundamental fixed point theorem revisited
Connections (notes):
References (books):
Back