Description

• Title:
  A Proof of Tarski’s Fixed Point Theorem by Application of Galois Connections
• Creator:
  Nowak, Marek
• Contributor:
  University of Lodz, Department of Logic;
  marnowak@filozof.uni.lodz.pl
• Description:
  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
• Object availability:
  free access
• Rights:
  Uznanie autorstwa 3.0 Polska;
  http://creativecommons.org/licenses/by/3.0/pl
• Date:
  2015.07.27;
  2014.07.11
• Type:
  Article
• Language:
  English
• Format:
  application/pdf
• Publisher:
  Springer Netherlands
• Relation:
  Studia Logica;Volume 103, Issue 2
• Subject:
  Closure and interior operation;
  Galois connection;
  Fixed point theorem
• Identifier:
  1572-8730;
  http://hdl.handle.net/11089/11235 ;
  10.1007/s11225-014-9559-y
• Data provider:
  Repozytorium Uniwersytetu Łódzkiego
• Can I use it?:
  check license
• Type:
  image