Logic Working Group
March 22nd, 2024, 15.00-17.00 (Sala Riunioni, DMIF, Udine)
F. Barrera (University of Udine) "The $\lambda$-PSP at $\lambda$-coanalytic sets".
Abstract.I will show that if there is a strong limit cardinal $\lambda$ of countable cofinality such that all $\lambda$-coanalytic sets have the $\lambda$-PSP, then $0^\dagger$ exist. The proof is quite an accessible example of the technique of establishing consistency strength lower bounds using core models and their covering properties. Time permitting, I will mention the obstacles that arise when trying to increase the given lower bound. This is joint work with Sandra Müller and Vincenzo Dimonte.
The seminar will be streamed in Aula S, Palazzo Campana .
All seminars will be held remotely using Webex. Please write to luca.mottoros [at] unito.it to obtain a link and the access code.
Recordings of some talks are available at this page.
April 5th, 2024, 16.00-17.00 (Online on Webex)
M. Dzamonja (CNRS-Université de Paris / IHPST) TBA.
Abstract.TBA
May 3rd, 2024, 16.00-17.00 (Online on Webex)
S. Unger (University of Toronto) TBA.
Abstract.TBA
June 7th, 2024, 16.00-17.00 (Online on Webex)
L. Halbeisen (ETH Zürich) TBA.
Abstract.TBA
All meetings will be held in person and remotely using Webex. Please contact the organizer to obtain a link and the access code.
March 22nd, 2024, 15.00-17.00 (Sala Riunioni, DMIF, Udine)
F. Barrera (University of Udine) "The $\lambda$-PSP at $\lambda$-coanalytic sets".
Abstract.I will show that if there is a strong limit cardinal $\lambda$ of countable cofinality such that all $\lambda$-coanalytic sets have the $\lambda$-PSP, then $0^\dagger$ exist. The proof is quite an accessible example of the technique of establishing consistency strength lower bounds using core models and their covering properties. Time permitting, I will mention the obstacles that arise when trying to increase the given lower bound. This is joint work with Sandra Müller and Vincenzo Dimonte.
The seminar will be streamed in Aula S, Palazzo Campana .