Logic Working Group
10 maggio 2024, 15.00-17.00 (Sala Orsi, Palazzo Campana, Torino)
J. Santiago (Université Paris Cité) "Model theory meets set theory".
Abstract.The goal of this talk will be to recall how model theoretic techniques have influenced the development of set theory. In particular, we will dive in Silver's (and Solovay) notion of sharps (ordinals indiscernibles generating inner models) and discuss what kind of results can be derived from their existence.
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.
31 maggio 2024, 16.00-17.00 (Online on Webex)
M. Dzamonja (CNRS-Université de Paris / IHPST) TBA.
Abstract.TBA
7 giugno 2024, 16.00-17.00 (Online on Webex)
L. Halbeisen (ETH Zürich) TBA.
Abstract.TBA
Tutti gli incontri si terranno in presenza e online via Webex. Per avere link e password dei meeting e per altre informazioni, contattare l'organizzatore.
10 maggio 2024, 15.00-17.00 (Sala Orsi, Palazzo Campana, Torino)
J. Santiago (Université Paris Cité) "Model theory meets set theory".
Abstract.The goal of this talk will be to recall how model theoretic techniques have influenced the development of set theory. In particular, we will dive in Silver's (and Solovay) notion of sharps (ordinals indiscernibles generating inner models) and discuss what kind of results can be derived from their existence.
17 maggio 2024, 15.00-17.00 (Aula S, Palazzo Campana, Torino)
B. Degasperi (Università di Torino) TBA, parte 1.
24 maggio 2024, 15.00-17.00 (Aula S, Palazzo Campana, Torino)
B. Degasperi (Università di Torino) TBA, parte 2.
14 giugno 2024, 15.00-17.00 (Sala Riunioni, DMIF, Udine)
A. Volpi (Università di Udine) TBA, parte 1.
Il seminario sarà trasmesso in Aula S, Palazzo Campana, Torino.
21 giugno 2024, 15.00-17.00 (Sala Riunioni, DMIF, Udine)
A. Volpi (Università di Udine) TBA, parte 2.
Il seminario sarà trasmesso in Aula S, Palazzo Campana, Torino.