ON TARSKI'S FIXED POINT THEOREM

被引：6
|
作者：
Curi, Giovanni [1 ]
机构：
[1] Univ Padua, Dipartimento Matemat Pura & Applicata, I-35121 Padua, Italy
来源：
PROCEEDINGS OF THE AMERICAN MATHEMATICAL SOCIETY | 2015年 / 143卷 / 10期
关键词：
Tarski's fixed point theorem; inductive definitions; constructive set theories; uniform objects; CONSTRUCTIVE SET-THEORY;
D O I：
10.1090/proc/12569
中图分类号：
O29 [应用数学];
学科分类号：
070104 ;
摘要：
A notion of abstract inductive definition on a complete lattice is formulated and studied. As an application, a constructive version of Tarski's fixed point theorem is obtained.
引用
收藏
页码：4439 / 4455
页数：17
相关论文
共 50 条
12345