Abstract
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.
Article PDF
Similar content being viewed by others
References
Blyth S.T: Lattices and Ordered Algebraic Structures. Springer, Berlin (2005)
Cousot P., Cousot R.: Constructive versions of Tarski’s fixed point theorems. Pacific Journal of Mathematics 82, 43–57 (1979)
Davey B.A., Priestley H.A.: Introduction to Lattices and Order, 2nd ed. Cambridge University Press, Cambridge (2002)
K. Denecke, M. Erné, and S. L. Wismath (eds.), Galois Connections and Applications, Kluwer, Dordrecht, 2004.
Domenach, F., and B. Leclerc, Biclosed binary relations and Galois connections, Order 18:89–104, 2001.
Echenique, F., A short and constructive proof of Tarski’s fixed-point theorem, International Journal of Game Theory 33:215–218, 2005.
Erné, M., J. Koslowski, A. Melton, and G. E. Strecker, A Primer on Galois Connections, Annals of the New York Academy of Sciences 704:103–125, 1993.
Erné, M., B. Šešeljar, and A. Tepavčević, Posets generated by irreducible elements Order 20:79–89, 2003.
Nowak M., Tarski A.: On some application of residuated mappings. Bulletin of the Section of Logic 42, 53–68 (2013)
Tarski A.: A lattice-theoretical fixpoint theorem and its applications. Pacific Journal of Mathematics 5, 285–309 (1955)
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
Open Access This article is distributed under the terms of the Creative Commons Attribution License which permits any use, distribution, and reproduction in any medium, provided the original author(s) and the source are credited.
About this article
Cite this article
Nowak, M. A Proof of Tarski’s Fixed Point Theorem by Application of Galois Connections. Stud Logica 103, 287–301 (2015). https://doi.org/10.1007/s11225-014-9559-y
Received:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s11225-014-9559-y