Dialectica principles via Gödel doctrines

DOI10.1016/j.tcs.2023.113692OpenAlexW4313830972MaRDI QIDQ2682930

Davide Trotta, Matteo Spadetto, V. C. V. de Paiva

Publication date: 1 February 2023

Published in: Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/2205.07093

zbMATH Keywords

dialectica interpretationhyperdoctrinedialectica categorydialectica doctrineGödel doctrinelogical principles

Mathematics Subject Classification ID

Theory of computing (68Qxx)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Quotient completion for the foundation of constructive mathematics
• A categorical interpretation of the intuitionistic, typed, first order logic with Hilbert's \(\varepsilon\)-terms
• Linear logic
• First order categorical logic. Model-theoretical methods in the theory of topoi and related categories
• Regular and exact completions
• Triposes, exact completions, and Hilbert's \(\varepsilon\)-operator
• Dialectica logical principles
• Unifying exact completions
• Metamathematical investigation of intuitionistic arithmetic and analysis. With contributions by C. A. Smorynski, J. I. Zucker and W. A. Howard
• A characterization of generalized existential completions
• Tripos theory in retrospect
• ÜBER EINE BISHER NOCH NICHT BENÜTZTE ERWEITERUNG DES FINITEN STANDPUNKTES
• All realizability is relative
• HYPERDOCTRINES, NATURAL DEDUCTION AND THE BECK CONDITION
• Tripos theory
• Adjointness in Foundations
• Hilbert's ϵ‐operator in intuitionistic type theories
• Intuitionistic ϵ‐ and τ‐calculi
• The existential completion
• Dialectica models of type theory
• Dialectica logical principles: not only rules
• Proof theory in the abstract

This page was built for publication: Dialectica principles via Gödel doctrines