Séminaires : Séminaire de Logique Lyon-Paris

Equipe(s) : lm,
Responsables :S. Anscombe, O. Finkel, A. Khélif, S. Rideau, T. Tsankov, A. Vignati
Email des responsables :
Salle : Contacter Silvain Rideau ou Alessandro Vignati
Adresse :
Description

ArchivesRetour ligne automatique
Abonnement à la liste de diffusion


Orateur(s) Rahman Mohammadpour - Wien,
Titre Specializing trees of height \omega_2 with finite approximation
Date10/02/2021
Horaire16:00 à 17:15
Diffusion https://u-paris.zoom.us/rec/share/D1xat237ZQVoKmpuIzvHv_vMNVizFHRJMC4ExYb3pWBJDtWTZAxWVU5KpkJaKjlM.2hcMddHxDVxnXYXs
RésumeIt is well-known that under CH one can attempt to specialize trees of height ω_2 without cofinal branches using a naive forcing with countable approximations. However, one has to require more (the nonexistence of ascending paths) than the lack of cofinal branches to make sure that the naive attempt does not fail. I will discuss these possible obstacles to specialize trees of height ω_2 , and then use models as side conditions to construct a forcing notion with finite conditions, which under PFA specializes a given tree of height ω_2 without cofinal branches. If time permits, I will mention generalizations of this result to taller trees.
SalleContacter Silvain Rideau ou Alessandro Vignati
Adresse
© IMJ-PRG