Knaster-Tarski theorem en · PROPN
Etymology
Named after Bronisław Knaster and Alfred Tarski.
Meanings
- A theorem stating that, if L is a complete lattice and f : L → L is an order-preserving function, then the set of fixed points of f in L is also a complete lattice. It has important applications in formal semantics of programming languages and abstract interpretation.
Forms
| Spelling | Features | Labels | Source |
|---|---|---|---|
| the Knaster-Tarski theorem | canonical | lexicographic |