BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//Talks.cam//talks.cam.ac.uk//
X-WR-CALNAME:Talks.cam
BEGIN:VEVENT
SUMMARY:The Gödel fibration - Davide Trotta (University of Pisa)
DTSTART:20210511T151500Z
DTEND:20210511T161500Z
UID:TALK160420@talks.cam.ac.uk
CONTACT:José Siqueira
DESCRIPTION:In this talk\, I will introduce the notion of Gödel fibration
 \, which is a fibration categorically embodying both the logical principle
 s of traditional Skolemization and the existence of a prenex normal form p
 resentation for every formula\, and I will explain how this notion is rela
 ted to the Dialectica construction. In particular\, building up from Hofst
 ra's earlier fibrational characterization of de Paiva's categorical Dialec
 tica construction\, I will show that a fibration is an instance of the Dia
 lectica construction if and only if it is a Gödel fibration. This result 
 establishes an intrinsic presentation of the Dialectica fibration\, contri
 buting to the understanding of the Dialectica construction itself and of i
 ts properties from a logical perspective. (Joint work with Matteo Spadetto
  and Valeria de Paiva)\n\nZoom link:  https://maths-cam-ac-uk.zoom.us/j/94
 536626774?pwd=M3lEMDJYZGVxNUFCTWFPckphOFN1Zz09
LOCATION:Zoom (Meeting ID 945 3662 6774\, passcode  086714)
END:VEVENT
END:VCALENDAR