Infinite forcing and the generic multiverse

Por • 30 mar, 2019 • Sección: Leyes

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.

arXiv:1903.09960v1 [math.LO]

Logic (math.LO)

Post to Twitter

Escribe un comentario