Apr 28, 2021 · We introduce the notion of a Gödel fibration, which is a fibration categorically embodying both the logical principle of traditional Skolemization.
We introduce the notion of a Gödel fibration, which is a fibration categorically embodying both the logical principles of traditional Skolemization (we can ...
Gödel's Dialectica Interpretation: an interpretation of intuitionistic arithmetic HA in a quantifier-free theory of functionals of finite type,.
We introduce the notion of a Gödel fibration, which is a fibration categorically embodying both the logical principles of traditional Skolemization (we can ...
Duration: 40:41
Posted: Jun 18, 2024
Posted: Jun 18, 2024
Apr 28, 2021 · Abstract. We introduce the notion of a Gödel fibration, which is a fibration categorically embodying both the logical principle of ...
May 20, 2021 · In this talk, I will introduce the notion of Gödel fibration, which is a fibration categorically embodying both the logical principles of ...
The study of the monads Sum and Prod and their categorical properties constitutes the main part of our work and allows the proof of our main result. (see [2] ...
The Dialectica is an interpretation of HA in a quantifier-free theory of functionals of finite type, called system T. Idea: Translate every formula A of HA ...
Apr 28, 2021 · We introduce the notion of a Gödel fibration, which is a fibration categorically embodying both the logical principle of traditional ...