3 citations · 4 across the 3 of their papers we have counts for
4 papers
Skolem, Gödel, and Hilbert fibrations
Davide Trotta, Jonathan Weinberger, Valeria de Paiva
Grothendieck fibrations are fundamental in capturing the concept of dependency, notably in categorical semantics of type theory and programming languages. A relevant instance are D…
Categorifying computable reducibilities
Davide Trotta, Manlio Valenti, Valeria de Paiva
This paper presents categorical formulations of Turing, Medvedev, Muchnik, and Weihrauch reducibilities in Computability Theory, utilizing Lawvere doctrines. While the first notion…
Dialectica Principles via Gödel Doctrines
Davide Trotta, Matteo Spadetto, Valeria de Paiva
Gödel's Dialectica interpretation was conceived as a tool to obtain the consistency of Peano arithmetic via a proof of consistency of Heyting arithmetic in the 40s. In recent years…
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…