A Proof of Tarski's Fixed Point Theorem by Application of Galois Connections

作者：Nowak Marek^*

来源：Studia Logica, 2015, 103(2): 287-301.

DOI：10.1007/s11225-014-9559-y

• Closure and interior operation
• Galois connection
• Fixed point theorem

Two examples of Galois connections and their dual forms are considered. One of them is applied to formulate a criterion when a given subset of a complete lattice forms a complete lattice. The second, closely related to the first, is used to prove in a short way the Knaster-Tarski's fixed point theorem.

• 出版日期2015-4