Knaster–Tarski theorem

GPTKB entity

Statements (19)
Predicate Object
gptkbp:instanceOf gptkb:mathematical_concept
gptkbp:appliesTo complete lattice
monotone function
gptkbp:field gptkb:logic
gptkb:order_theory
https://www.w3.org/2000/01/rdf-schema#label Knaster–Tarski theorem
gptkbp:implies existence of least and greatest fixed points
gptkbp:namedAfter gptkb:Alfred_Tarski
gptkb:Bronisław_Knaster
gptkbp:publishedIn 1928
gptkbp:relatedTo gptkb:Tarski's_fixed_point_theorem
fixed-point theorem
lattice theory
gptkbp:sentence Every monotone function on a complete lattice has a fixed point.
gptkbp:usedIn computer science
formal semantics
program verification
gptkbp:bfsParent gptkb:Tarski's_fixed_point_theorem
gptkbp:bfsLayer 5