vix.ing · top · new · best · stats · spec

Infinite forcing and the generic multiverse

2019/03/24 by Venturi, Giorgio
#FOS: Mathematics #Logic (math.LO)

paper · doi:10.48550/arxiv.1903.09960

Abstract

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.

Related