The Gödel fibration

Add to your list(s) Download to your calendar using vCal

• Davide Trotta (University of Pisa)
• Tuesday 11 May 2021, 16:15-17:15
• Zoom (Meeting ID 945 3662 6774, passcode 086714).

If you have a question about this talk, please contact José Siqueira.

In this talk, I will introduce the notion of Gödel fibration, which is a fibration categorically embodying both the logical principles of traditional Skolemization and the existence of a prenex normal form presentation for every formula, and I will explain how this notion is related to the Dialectica construction. In particular, building up from Hofstra’s earlier fibrational characterization of de Paiva’s categorical Dialectica construction, I will show that a fibration is an instance of the Dialectica construction if and only if it is a Gödel fibration. This result establishes an intrinsic presentation of the Dialectica fibration, contributing to the understanding of the Dialectica construction itself and of its properties from a logical perspective. (Joint work with Matteo Spadetto and Valeria de Paiva)

Zoom link: https://maths-cam-ac-uk.zoom.us/j/94536626774?pwd=M3lEMDJYZGVxNUFCTWFPckphOFN1Zz09

This talk is part of the Category Theory Seminar series.

This talk is included in these lists:

• All CMS events
• All Talks (aka the CURE list)
• CMS Events
• Category Theory Seminar
• DPMMS Lists
• DPMMS Pure Maths Seminar
• DPMMS info aggregator
• DPMMS lists
• Hanchen DaDaDash
• Interested Talks
• School of Physical Sciences
• Zoom (Meeting ID 945 3662 6774, passcode 086714)
• bld31
• ndb35's list
• yk373's list

Note that ex-directory lists are not shown.