Forcing and antifoundation (vol 44, pg 645, 2005)

被引:0
|
作者
Tzouvaras, A [1 ]
机构
[1] Univ Thessaloniki, Dept Math, Thessaloniki 54124, Greece
来源
ARCHIVE FOR MATHEMATICAL LOGIC | 2005年 / 44卷 / 05期
关键词
D O I
10.1007/s00153-005-0309-8
中图分类号
O1 [数学];
学科分类号
0701 ; 070101 ;
摘要
It is proved that the forcing apparatus can be built and set to work in ZFCA (=ZFC minus foundation plus the antifoundation axiom AFA). The key tools for this construction are greatest fixed points of continuous operators (a method sometimes referred to as "corecursion"). As an application it is shown that the generic extensions of standard models of ZFCA are models of ZFCA again. © Springer-Verlag 2004.
引用
收藏
页码:663 / 663
页数:1
相关论文
共 50 条