Unifying functional interpretations

DOI10.1305/NDJFL/1153858651zbMath1113.03052OpenAlexW1987058504MaRDI QIDQ867407

Paulo Oliva

Publication date: 15 February 2007

Published in: Notre Dame Journal of Formal Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1305/ndjfl/1153858651

zbMATH Keywords

Dialectica interpretationmodified realizabilitymajorizabilityfunctional interpreationsmonotone functional interpretations

Mathematics Subject Classification ID

First-order arithmetic and fragments (03F30) Structure of proofs (03F07) Functionals in proof theory (03F10)

Related Items (9)

A NEW COMPUTATION OF THE Σ-ORDINAL OF KPω ⋮ A parametrised functional interpretation of Heyting arithmetic ⋮ Hardwiring truth in functional interpretations ⋮ On bounded functional interpretations ⋮ Light Dialectica revisited ⋮ Unnamed Item ⋮ Computational Interpretations of Classical Reasoning: From the Epsilon Calculus to Stateful Programs ⋮ Functional interpretations of linear and intuitionistic logic ⋮ Light Dialectica Program Extraction from a Classical Fibonacci Proof

This page was built for publication: Unifying functional interpretations