research

On Tarski's fixed point theorem

Authors
Publication date
18 July 2014
Publisher
Doi
    View on arXiv

    Abstract

    A concept of abstract inductive definition on a complete lattice is formulated and studied. As an application, a constructive and predicative version of Tarski's fixed point theorem is obtained.Comment: Proc. Amer. Math. Soc., to appea

      Similar works

      Full text

      thumbnail-image

      Available Versions

      Archivio istituzionale della ricerca - Università di Padova

      redirect
      oaioai:www.research.unipd.it:1157...
      Last time updated on 06/08/2017

      CiteSeerX

      redirect
      oaioai:CiteSeerX.psu:10.1.1.768.1...
      Last time updated on 30/10/2017