A Proof of Tarski’s Fixed Point Theorem by Application of Galois Connections
| dc.contributor.author | Nowak, Marek | |
| dc.date.accessioned | 2015-07-27T12:27:00Z | |
| dc.date.available | 2015-07-27T12:27:00Z | |
| dc.date.issued | 2014-07-11 | |
| dc.identifier.issn | 1572-8730 | |
| dc.identifier.uri | http://hdl.handle.net/11089/11235 | |
| dc.description.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 | pl_PL |
| dc.language.iso | en | pl_PL |
| dc.publisher | Springer Netherlands | pl_PL |
| dc.relation.ispartofseries | Studia Logica;Volume 103, Issue 2 | |
| dc.rights | Uznanie autorstwa 3.0 Polska | * |
| dc.rights.uri | http://creativecommons.org/licenses/by/3.0/pl/ | * |
| dc.subject | Closure and interior operation | pl_PL |
| dc.subject | Galois connection | pl_PL |
| dc.subject | Fixed point theorem | pl_PL |
| dc.title | A Proof of Tarski’s Fixed Point Theorem by Application of Galois Connections | pl_PL |
| dc.type | Article | pl_PL |
| dc.page.number | 287-301 | pl_PL |
| dc.contributor.authorAffiliation | University of Lodz, Department of Logic | pl_PL |
| dc.references | Blyth, T. S., Lattices and Ordered Algebraic Structures, Springer, Berlin, 2005 | pl_PL |
| dc.references | Cousot, P., and R. Cousot, Constructive versions of Tarski’s fixed point theorems, Pacific Journal of Mathematics 82:43–57, 1979. | pl_PL |
| dc.references | Davey, B. A., and H. A., Priestley, Introduction to Lattices and Order, 2nd ed., Cambridge University Press, Cambridge, 2002. | pl_PL |
| dc.references | K. Denecke, M. Ern´e, and S. L. Wismath (eds.), Galois Connections and Applications, Kluwer, Dordrecht, 2004 | pl_PL |
| dc.references | Domenach, F., and B. Leclerc, Biclosed binary relations and Galois connections, Order 18:89–104, 2001. | pl_PL |
| dc.references | Echenique, F., A short and constructive proof of Tarski’s fixed-point theorem, International Journal of Game Theory 33:215–218, 2005. | pl_PL |
| dc.references | Ern´e, 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. | pl_PL |
| dc.references | Ern´e, M., B. ˇSeˇseljar, andA. Tepavˇcevi´c, Posets generated by irreducible elements Order 20:79–89, 2003 | pl_PL |
| dc.references | Nowak, M., On some application of residuated mappings, Bulletin of the Section of Logic 42:53–68, 2013. | pl_PL |
| dc.references | Tarski, A., A lattice-theoretical fixpoint theorem and its applications, Pacific Journal of Mathematics 5:285–309, 1955. | pl_PL |
| dc.contributor.authorEmail | marnowak@filozof.uni.lodz.pl | pl_PL |
| dc.identifier.doi | 10.1007/s11225-014-9559-y |
Files in this item
This item appears in the following Collection(s)
Except where otherwise noted, this item's license is described as Uznanie autorstwa 3.0 Polska