Factorization of the Shoenfield-like Bounded Functional Interpretation
暂无分享,去创建一个
[1] Thomas Streicher,et al. Classical logic, continuation semantics and abstract machines , 1998, Journal of Functional Programming.
[2] Fernando Ferreira. Injecting uniformities into Peano arithmetic , 2009, Ann. Pure Appl. Log..
[3] Jean-Louis Krivine,et al. Opérateurs de mise en mémoire et traduction de Gödel , 1990, Arch. Math. Log..
[4] Thomas Streicher,et al. Shoenfield is Gödel after Krivine , 2007, Math. Log. Q..
[5] Paulo Oliva,et al. Bounded functional interpretation , 2005, Ann. Pure Appl. Log..
[6] Joseph R. Shoenfield,et al. Mathematical logic , 1967 .
[7] J. Avigad. A Variant of the Double-Negation Translation , 2006 .
[8] Von Kurt Gödel,et al. ÜBER EINE BISHER NOCH NICHT BENÜTZTE ERWEITERUNG DES FINITEN STANDPUNKTES , 1958 .