On the axiom of extensionality in the positive set theory

被引：0
|
作者：
Esser, O [1 ]
机构：
[1] Free Univ Brussels, Serv Log, B-1050 Brussels, Belgium
来源：
MATHEMATICAL LOGIC QUARTERLY | 2003年 / 49卷 / 01期
关键词：
axiom of extensionality; positive set theory; contraction; bisimulation;
D O I：
10.1002/malq.200310009
中图分类号：
O1 [数学];
学科分类号：
0701 ; 070101 ;
摘要：
This is a study of the relative interpretability of the axiom of extensionality in the positive set theory. This work has to be considered in the line of works of R. O. Gandy, D. Scott and R. Hinnion who have studied the relative interpretability of the axiom of extensionality in set theories of Zermelo and Zermelo-Fraenkel.
引用
收藏
页码：97 / 100
页数：4
相关论文
共 50 条
12345