English Explanatory Dictionary

Knaster-Tarski theorem

English dictionary entry

Meanings

name
  1. 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.

Word forms

Knaster-Tarski theorem the Knaster-Tarski theorem

Etymology

Named after Bronisław Knaster and Alfred Tarski.

Synonyms

Tarski's fixed-point theorem
This entry uses open data from Wiktionary (CC BY-SA/GFDL). Word forms are used for search and are not indexed as separate pages.
Back to search All on K Russian dictionary Dahl dictionary