Tarski’s fixed point theorem
E353628
UNEXPLORED
Tarski’s fixed point theorem is a fundamental result in order theory and lattice theory that guarantees the existence of fixed points for monotone functions on complete lattices, with wide applications in logic, computer science, and economics.
Referenced by (1)
| Subject (surface form when different) | Predicate |
|---|---|
|
Alfred Tarski
→
|
knownFor |