当前位置: X-MOL 学术Stud. Log. › 论文详情
Our official English website, www.x-mol.net, welcomes your feedback! (Note: you will need to create a separate account there.)
Infinite Forcing and the Generic Multiverse
Studia Logica ( IF 0.6 ) Pub Date : 2019-02-12 , DOI: 10.1007/s11225-019-09851-8
Giorgio Venturi

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.

中文翻译:

无限强迫和通用多元宇宙

在本文中,我们提出了一种选择集合论模型的技术,这些模型在模型论意义上是完整的。具体来说,我们将对通过 Cohen 强迫获得的 ZFC 模型集合应用 Robinson 无限强迫。该技术将用于建议对通用绝对性原则的统一观点。
更新日期:2019-02-12
down
wechat
bug