University of Cambridge > Talks.cam > Category Theory Seminar > The Gödel fibration

The Gödel fibration

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

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.

Tell a friend about this talk:

This talk is included in these lists:

Note that ex-directory lists are not shown.

 

© 2006-2021 Talks.cam, University of Cambridge. Contact Us | Help and Documentation | Privacy and Publicity