Cross-Alps Logic Seminar

Tutti i seminari si terranno online via Webex. Per avere link e password dei meeting e per informazioni riguardo i seminari, per favore scrivere a luca.mottoros [at] unito.it.

Le registrazioni di alcuni video sono disponibili a questo indirizzo.

Prossimi:

Logic Working Group

Prossimi:

  • 19 aprile 2024, 15.00-17.00 (Sala Riunioni, DMIF, Udine)

    F. Barrera (Università di 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.

    Nascondi abstract.

  • 10 maggio 2024, 15.00-17.00 (Sala Orsi, Palazzo Campana, Torino)

    J. Santiago (Université Paris Cité) TBA.

    Il seminario sarà trasmesso in Sala Riunioni, DMIF, Udine.

  • 17 maggio 2024, 15.00-17.00 (Sala Orsi, Palazzo Campana, Torino)

    B. Degasperi (Università di Torino) TBA, parte 1.

    Il seminario sarà trasmesso in Sala Riunioni, DMIF, Udine.

  • 24 maggio 2024, 15.00-17.00 (Sala Orsi, Palazzo Campana, Torino)

    B. Degasperi (Università di Torino) TBA, parte 2.

    Il seminario sarà trasmesso in Sala Riunioni, DMIF, Udine.

  • 14 giugno 2024, 15.00-17.00 (Sala Riunioni, DMIF, Udine)

    A. Volpi (Università di Udine) TBA, parte 1.

  • 21 giugno 2024, 15.00-17.00 (Sala Riunioni, DMIF, Udine)

    A. Volpi (Università di Udine) TBA, parte 2.

Search Past Seminars

Name:

Type meeting: