Knaster-Tarski theorem

English

Etymology

Named after Bronisław Knaster and Alfred Tarski.

Proper noun

the Knaster-Tarski theorem

  1. (mathematics) 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.
    Synonym: Tarski's fixed-point theorem
This article is issued from Wiktionary. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.