3 citations · 4 across the 3 of their papers we have counts for
Showing 2021Show all
2 papers · 1 filter
math.CT2021
Dialectica Logical Principles
Davide Trotta, Matteo Spadetto, Valeria de Paiva
Gödel's Dialectica interpretation was designed to obtain a relative consistency proof for Heyting arithmetic, to be used in conjunction with the double negation interpretation to o…
math.CT2021
The Gödel Fibration
Davide Trotta, Matteo Spadetto, Valeria de Paiva
We introduce the notion of a Gödel fibration, which is a fibration categorically embodying both the logical principle of traditional Skolemization (we can exchange the order of qua…