19 citations · 38 across the 6 of their papers we have counts for
Showing 2019Show all
2 papers · 1 filter
math.LO2019★ 5 cited
The model companions of set theory
Giorgio Venturi, Matteo Viale
This is an introductory paper to a series of results linking generic absoluteness results for second and third order number theory to the model theoretic notion of model companions…
math.LO2019
Infinite forcing and the generic multiverse
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…