Interactive Learning-Based Realizability Interpretation for Heyting Arithmetic with EM 1, Logical Methods in Computer Science, vol.10, issue.4, 2010. ,
DOI : 10.2307/2269016
Transfinite Update Procedures for Predicative Systems of Analysis, Proc. of Computer Science Logic, 2011. ,
Analysis of Learning in Peano Arithmetic, Annals of Pure and Applied Logic, 2011. ,
A New Use of Friedman's Translation: Interactive Realizability, Festschrift of Helmut Schwichtenberg, Ontos-Verlag Series in Mathematical Logic ,
Learning Based Realizability for HA + EM1 and 1-Backtracking Games: Soundness and Completeness, Annals of Pure and Applied Logic, to appear ,
Interactive Realizability for Second-Order Heyting Arithmetic with EM 1 and SK 1 , preprint ,
Interactive Realizability for Classical Peano Arithmetic with Skolem Axioms ,
URL : https://hal.archives-ouvertes.fr/hal-00685360
Update Procedures and the 1-Consistency of Arithmetic, MLQ, vol.30, issue.1, 2002. ,
DOI : 10.1002/1521-3870(200201)48:1<3::AID-MALQ3>3.0.CO;2-6
10 S. Berardi and U. de' Liguoro, Interactive Realizers. A New Approach to Program Extraction from non-Constructive Proofs 11 T. Coquand, A Semantic of Evidence for Classical Arithmetic 12 H. Friedman, Classically and Intuitionistically Provable Recursive Functions, Eliminating Definitions and Skolem Function in First-Order Logic 15 D. Hilbert, P. Bernays, Grundalagen der Matematik Kreisel, On Weak Completeness of Intuitionistic Predicate Logic, pp.280-287, 1939. ,
Realizability Algebras 2: new models of ZF + DC Epsilon Substitution Method for Elementary Analysis, Archive for Mathematical Logic Lectures on the Curry-Howard isomorphism, Studies in Logic and the Intensional Interpretations of Functional of Finite Type, The Journal of Symbolic Logic, 1967. 22 A. Troelstra, Notions of Realizability for Intuitionistic Arithmetic and Intuitionistic Arithmetic in all Finite Types, classical Zermelo-Fraenkel set theory, Archive for Mathematical Logic Proc. of the Second Scandinavian Logic Symposium 23 A. Troelstra, Metamathematical Investigations of Intuitionistic Arithmetic and Analysis Studies in Logic and Foundations of Mathematics Constructivism in Mathematics, 1972. ,