Prossimo seminario :

Logic Working Group

  • 8 marzo 2024, 15.00-17.00 (Aula S, Palazzo Campana)

    E. Pozzan (Università di Torino) "Boolean valued models and presheaves", parte 1.

    Abstract.

    In the talks, we will explore some aspects of the relationship between the theory of boolean valued models and sheaf theory. We will firstly introduce a topological description via étalé bundles of the sheafification process with respect to the dense Grothendieck topology. Next, we will use this result to show how it is possible to identify presheaves on (complete) boolean algebras with boolean valued models, and sheaves with respect to the dense Grothendieck topology, with boolean valued models satisfying the mixing property. We will also present a categorical characterization of presheaves corresponding to full boolean valued models in terms of the structure of global sections of their associated étalé space. The talks are based on the joint work of Matteo Viale and Moreno Pierobon.

    Nascondi abstract.

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

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.

Prossimi:

  • 8 marzo 2024, 15.00-17.00 (Aula S, Palazzo Campana)

    E. Pozzan (Università di Torino) "Boolean valued models and presheaves", parte 1.

    Abstract.

    In the talks, we will explore some aspects of the relationship between the theory of boolean valued models and sheaf theory. We will firstly introduce a topological description via étalé bundles of the sheafification process with respect to the dense Grothendieck topology. Next, we will use this result to show how it is possible to identify presheaves on (complete) boolean algebras with boolean valued models, and sheaves with respect to the dense Grothendieck topology, with boolean valued models satisfying the mixing property. We will also present a categorical characterization of presheaves corresponding to full boolean valued models in terms of the structure of global sections of their associated étalé space. The talks are based on the joint work of Matteo Viale and Moreno Pierobon.

    Nascondi abstract.

  • 15 marzo 2024, 15.00-17.00 (Aula S, Palazzo Campana)

    E. Pozzan (Università di Torino) "Boolean valued models and presheaves", parte 2.

    Abstract.

    In the talks, we will explore some aspects of the relationship between the theory of boolean valued models and sheaf theory. We will firstly introduce a topological description via étalé bundles of the sheafification process with respect to the dense Grothendieck topology. Next, we will use this result to show how it is possible to identify presheaves on (complete) boolean algebras with boolean valued models, and sheaves with respect to the dense Grothendieck topology, with boolean valued models satisfying the mixing property. We will also present a categorical characterization of presheaves corresponding to full boolean valued models in terms of the structure of global sections of their associated étalé space. The talks are based on the joint work of Matteo Viale and Moreno Pierobon.

    Nascondi abstract.

Search Past Seminars

Name:

Type meeting: