On Tarski's fixed point theorem
Logic
2014-07-21 v2
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.
Keywords
Cite
@article{arxiv.1301.2793,
title = {On Tarski's fixed point theorem},
author = {Giovanni Curi},
journal= {arXiv preprint arXiv:1301.2793},
year = {2014}
}
Comments
Proc. Amer. Math. Soc., to appear