Next Seminar :

Logic Working Group

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

    E. Pozzan (Università di Torino) "Boolean valued models and presheaves", part 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.

    Hide abstract.

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 8th, 2024, 15.00-17.00 (Aula S, Palazzo Campana)

    E. Pozzan (Università di Torino) "Boolean valued models and presheaves", part 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.

    Hide abstract.

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

    E. Pozzan (Università di Torino) "Boolean valued models and presheaves", part 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.

    Hide abstract.

Search Past Seminars

Name:

Type meeting: