Next Seminar :

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.

    Hide abstract.

    The seminar will be streamed in Aula S, Palazzo Campana .

Cross-Alps Logic Seminar

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.

Upcoming:

Logic Working Group

All meetings will be held in person and remotely using Webex. Please contact the organizer to obtain a link and the access code.

Upcoming:

  • 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.

    Hide abstract.

    The seminar will be streamed in Aula S, Palazzo Campana .

Search Past Seminars

Name:

Type meeting: