Wyświetlanie pozycji 1-1 z 1
A Proof of Tarski’s Fixed Point Theorem by Application of Galois Connections
(Springer Netherlands, 2014-07-11)
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 ...