Infinite Forcing and the Generic Multiverse

被引:2
|
作者
Venturi, Giorgio [1 ]
机构
[1] Philosophy Dept Unicamp, Rua Cora Coralina,100 Barao Geraldo, Campinas, SP, Brazil
基金
巴西圣保罗研究基金会;
关键词
Set theory; Genericity; Forcing; Robinson's infinite forcing; Bounded Forcing Axioms; Generic absoluteness;
D O I
10.1007/s11225-019-09851-8
中图分类号
O1 [数学];
学科分类号
0701 ; 070101 ;
摘要
In this article we present a technique for selecting models of set theory that are complete in a model-theoretic sense. Specifically, we will apply Robinson infinite forcing to the collections of models of ZFC obtained by Cohen forcing. This technique will be used to suggest a unified perspective on generic absoluteness principles.
引用
收藏
页码:277 / 290
页数:14
相关论文
共 50 条