The bounded functional interpretation of the double negation shift
暂无分享,去创建一个
[1] Jaime Gaspar. Factorization of the Shoenfield-like Bounded Functional Interpretation , 2009, Notre Dame J. Formal Log..
[2] Paulo Oliva,et al. Bounded functional interpretation , 2005, Ann. Pure Appl. Log..
[3] Jeremy Avigad,et al. Chapter V – Gödel’s Functional (“Dialectica”) Interpretation , 1998 .
[4] Von Kurt Gödel,et al. ÜBER EINE BISHER NOCH NICHT BENÜTZTE ERWEITERUNG DES FINITEN STANDPUNKTES , 1958 .
[5] S. Shelah,et al. Annals of Pure and Applied Logic , 1991 .
[6] Paulo Oliva. Understanding and Using Spector's Bar Recursive Interpretation of Classical Analysis , 2006, CiE.
[7] U. Kohlenbach. Analysing proofs in analysis , 1996 .
[8] Marc Bezem,et al. Strongly majorizable functionals of finite type: A model for barrecursion containing discontinuous functionals , 1985, Journal of Symbolic Logic.
[9] A Most Artistic Package of a Jumble of Ideas , 2008 .
[10] A. Troelstra. Metamathematical investigation of intuitionistic arithmetic and analysis , 1973 .
[11] Ulrich Kohlenbach,et al. Applied Proof Theory - Proof Interpretations and their Use in Mathematics , 2008, Springer Monographs in Mathematics.
[12] W. A. Howard,et al. Functional interpretation of bar induction by bar recursion , 1968 .
[13] C. Spector. Provably recursive functionals of analysis: a consistency proof of analysis by an extension of princ , 1962 .