加载中…
2013-01-13
On Tarski's fixed point theorem
Giovanni Curi
文献摘要
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.
讨论
0讲解博客
生成讲解博客的中文版本
AI智能校验
生成AI智能校验的中文版本