![[Search]](/static/images/search.gif){kind=small}
![[A-Z Index]](/static/images/az.gif){kind=small}
![[Contact]](/static/images/contact.gif){kind=small}
![[University of Cambridge]](/static/images/identifier2.gif){kind=small}
![[Talks.cam]](/static/images/talkslogosmall.gif)
Tuesday 11 May 2021, 16:15-17:15
The Gödel fibration
- 👤 Speaker: Davide Trotta (University of Pisa)
- 📅 Date & Time: Tuesday 11 May 2021, 16:15 - 17:15
- 📍 Venue: Zoom (Meeting ID 945 3662 6774, passcode 086714)
Abstract
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
Series This talk is part of the Category Theory Seminar series.
Included in Lists
- All CMS events
- All Talks (aka the CURE list)
- bld31
- Category Theory Seminar
- CMS Events
- DPMMS info aggregator
- DPMMS lists
- DPMMS Lists
- DPMMS Pure Maths Seminar
- Hanchen DaDaDash
- Interested Talks
- ndb35's list
- School of Physical Sciences
- yk373's list
- Zoom (Meeting ID 945 3662 6774, passcode 086714)
Note: Ex-directory lists are not shown.