collaborators

1 paper

math.LO2023

Iterating Semi-proper Forcing using Virtual Models

Obrad Kasum, Boban Veličković

By a virtual model, we mean a model of set theory which is elementary in its transitive closure. Virtual models are first used by Neeman \cite{neeman2014forcing} to iterate forcing…