Iterating Semi-proper Forcing using Virtual Models - Archive ouverte HAL Accéder directement au contenu
Pré-Publication, Document De Travail (Preprint/Prepublication) Année : 2023

Iterating Semi-proper Forcing using Virtual Models

Résumé

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. That paper is concerned with proper forcing. The method was then adjusted by Veličković to the case of semi-proper forcing and this was drafted in \cite{velickovic2021iteration}. We here straighten the details and further elaborate on Veličković's method. The first section collects facts about virtual model, the second section describes the iteration, and the third one illustrates the method in the case of getting saturation of $\mathsf{NS}_{ω_1}$ (loosely relying on \cite{schindler2016nsomega1}).
Fichier principal
Vignette du fichier
2303.12565.pdf (721.17 Ko) Télécharger le fichier

Dates et versions

hal-04462403 , version 1 (16-02-2024)

Identifiants

Citer

Obrad Kasum, Boban Veličković. Iterating Semi-proper Forcing using Virtual Models. 2023. ⟨hal-04462403⟩
11 Consultations
4 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More