Interactive Realizability for Classical Peano Arithmetic with Skolem Axioms

DOI10.4230/LIPIcs.CSL.2012.31zbMath1252.03133OpenAlexW1825162208MaRDI QIDQ4649536

Federico Aschieri

Publication date: 22 November 2012

Full work available at URL: https://hal.inria.fr/hal-00685360

zbMATH Keywords

classical arithmeticinteractive learningwitness extractioninteractive realizability

Mathematics Subject Classification ID

First-order arithmetic and fragments (03F30) Combinatory logic and lambda calculus (03B40)

Related Items (3)

On natural deduction in classical first-order logic: Curry-Howard correspondence, strong normalization and Herbrand's theorem ⋮ Unnamed Item ⋮ On Natural Deduction for Herbrand Constructive Logics I: Curry-Howard Correspondence for Dummett's Logic LC

This page was built for publication: Interactive Realizability for Classical Peano Arithmetic with Skolem Axioms