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 条
  • [21] FORCING LARGE COMPLETE (TOPOLOGICAL) MINORS IN INFINITE GRAPHS
    Stein, Maya
    Zamora, Jose
    SIAM JOURNAL ON DISCRETE MATHEMATICS, 2013, 27 (02) : 697 - 707
  • [22] Dynamical sampling in infinite dimensions with and without a forcing term
    Davis, Jacqueline
    OPERATOR METHODS IN WAVELETS, TILINGS, AND FRAMES, 2014, 626 : 167 - 177
  • [23] A FEW REMARKS ON n-INFINITE FORCING COMPANIONS
    Grulovic, Milan
    PUBLICATIONS DE L INSTITUT MATHEMATIQUE-BEOGRAD, 2007, 82 (96): : 99 - 105
  • [24] Infinite entropy is generic in Holder and Sobolev spaces
    de Faria, Edson
    Hazard, Peter
    Tresser, Charles
    COMPTES RENDUS MATHEMATIQUE, 2017, 355 (11) : 1185 - 1189
  • [25] Generic Emergence of Objectivity of Observables in Infinite Dimensions
    Knott, Paul A.
    Tufarelli, Tommaso
    Piani, Marco
    Adesso, Gerardo
    PHYSICAL REVIEW LETTERS, 2018, 121 (16)
  • [26] NOTE ON AXIOMS FOR INFINITE-GENERIC STRUCTURES
    MACINTYRE, A
    JOURNAL OF THE LONDON MATHEMATICAL SOCIETY-SECOND SERIES, 1975, 9 (36): : 581 - 584
  • [27] FORCING IN THEORY OF MODELS - SOME RESULTS ABOUT GENERIC RELATION
    VELLUTINI, F
    COMPTES RENDUS HEBDOMADAIRES DES SEANCES DE L ACADEMIE DES SCIENCES SERIE A, 1978, 286 (20): : 853 - 854
  • [28] NUMBER OF ELEMENTARY EQUIVALENCE CLASSES OF GENERIC STRUCTURES OF A FORCING PROPERTY
    LABLANQUIE, JC
    COMPTES RENDUS HEBDOMADAIRES DES SEANCES DE L ACADEMIE DES SCIENCES SERIE A, 1977, 284 (14): : 787 - 790
  • [29] multiverse
    Johnson, Will
    POETRY WALES, 2012, 48 (03): : 52 - 52
  • [30] THE MULTIVERSE
    Cochrane, Harry
    TLS-THE TIMES LITERARY SUPPLEMENT, 2019, (6053): : 27 - 27
12345