3 papers
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…
math.CT2020
Quantifier completions, choice principles and applications
Davide Trotta, Matteo Spadetto
We contribute to the knowledge of the quantifier completions and their applications by using the language of doctrines. This algebraic presentation allows us to properly analyse th…