Infinite Forcing and the Generic Multiverse

被引：2
|
作者：
Venturi, Giorgio [1 ]
机构：
[1] Philosophy Dept Unicamp, Rua Cora Coralina,100 Barao Geraldo, Campinas, SP, Brazil
来源：
STUDIA LOGICA | 2020年 / 108卷 / 02期
基金：
巴西圣保罗研究基金会;
关键词：
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 条
  • [41] Generic convergence of infinite products of positive linear operators
    Reich, S
    Zaslavski, AJ
    INTEGRAL EQUATIONS AND OPERATOR THEORY, 1999, 35 (02) : 232 - 252
  • [42] A Generic Result in Linear Semi-Infinite Optimization
    Miguel A. Goberna
    Marco A. López
    Maxim I. Todorov
    Applied Mathematics and Optimization, 2003, 48 : 181 - 193
  • [43] A generic result in linear semi-infinite optimization
    Goberna, MA
    López, MA
    Todorov, MI
    APPLIED MATHEMATICS AND OPTIMIZATION, 2003, 48 (03): : 181 - 193
  • [44] Generic convergence of infinite products of positive linear operators
    Simeon Reich
    Alexander J. Zaslavski
    Integral Equations and Operator Theory, 1999, 35 : 232 - 252
  • [45] 'Multiverse'
    不详
    TRIQUARTERLY, 2008, (130): : 221 - 222
  • [46] Multiverse
    Nadelman, Cynthia
    ARTNEWS, 2012, 111 (10): : 144 - 144
  • [47] Grigorieff Forcing on Uncountable Cardinals Does Not Add a Generic of Minimal Degree
    Andersen, Brooke M.
    Groszek, Marcia J.
    NOTRE DAME JOURNAL OF FORMAL LOGIC, 2009, 50 (02) : 195 - 200
  • [48] FREEDOM VIA FORCING - UNIFORM CONSTRUCTION OF RELATIVELY FREE OR GENERIC STRUCTURES
    MANEVITZ, LM
    ROWEN, LH
    LECTURE NOTES IN MATHEMATICS, 1987, 1292 : 230 - 246
  • [49] Program generic set: Semantics of medium logic program described by forcing
    Zhu, ZH
    Shi, QS
    Zhu, WJ
    SCIENCE IN CHINA SERIES E-TECHNOLOGICAL SCIENCES, 1996, 39 (06): : 620 - 627
  • [50] Program generic set:semantics of medium logic program described by forcing
    朱朝晖
    施庆生
    朱梧槚
    Science China Technological Sciences, 1996, (06) : 620 - 627
12345