Bounded modified realizability
暂无分享,去创建一个
[1] Marc Bezem,et al. Strongly majorizable functionals of finite type: A model for barrecursion containing discontinuous functionals , 1985, Journal of Symbolic Logic.
[2] Ulrich Kohlenbach,et al. Relative constructivity , 1998, Journal of Symbolic Logic.
[3] Paulo Oliva,et al. Proof Mining: A Systematic Way of Analysing Proofs in Mathematics , 2002 .
[4] Ulrich Kohlenbach,et al. On uniform weak König's lemma , 2002, Ann. Pure Appl. Log..
[5] Georg Kreisel,et al. On weak completeness of intuitionistic predicate logic , 1962, Journal of Symbolic Logic.
[6] A. Troelstra. Metamathematical investigation of intuitionistic arithmetic and analysis , 1973 .
[7] F. Richman,et al. Varieties of Constructive Mathematics: CONSTRUCTIVE ALGEBRA , 1987 .
[8] Ulrich Kohlenbach,et al. Mathematically strong subsystems of analysis with low rate of growth of provably recursive functionals , 1996, Arch. Math. Log..
[9] A. S. Troelstra,et al. Chapter VI – Realizability , 1998 .
[10] Von Kurt Gödel,et al. ÜBER EINE BISHER NOCH NICHT BENÜTZTE ERWEITERUNG DES FINITEN STANDPUNKTES , 1958 .
[11] Yohji Akama,et al. An arithmetical hierarchy of the law of excluded middle and related principles , 2004, LICS 2004.
[12] Stephen Cole Kleene,et al. On the interpretation of intuitionistic number theory , 1945, Journal of Symbolic Logic.
[13] Paulo Oliva,et al. Bounded functional interpretation , 2005, Ann. Pure Appl. Log..
[14] Jeremy Avigad,et al. Chapter V – Gödel’s Functional (“Dialectica”) Interpretation , 1998 .
[15] S. Buss. Handbook of proof theory , 1998 .