Shoenfield is Gödel after Krivine

Mathematical Logic Quarterly

Volumn 53, Issue 2, 2007, Pages 176-179

  Streicher, Thomas ^a   Kohlenbach, Ulrich ^a  

^a DARMSTADT UNIVERSITY OF TECHNOLOGY   (Germany)

Author keywords

Functional interpretation; Negative translation

Indexed keywords

EID: 34247209055     PISSN: 09425616     EISSN: 15213870     Source Type: Journal    
DOI: 10.1002/malq.200610038     Document Type: Article

References (7)

1. J. Avigad, A variant of the double negation translation. Carnegie Mellon Technical Report CMU-PHIL 179 (2006).
2. J. M. E. Hyland, Proof theory in the abstract. Ann. Pure Appl. Logic 114 (1 - 3), 43 - 78 (2002).
3. J. L. Krivine, Opérateurs de mise en mémoire et traduction de Gödel. Arch. Math. Logic 30, 241 - 267 (1990).
4. S. Kuroda, Intuitionistische Untersuchungen der formalistischen Logik. Nagoya Math. 3, 35 - 47 (1951).
5. J. Shoenfield, Mathematical Logic (Addison-Wesley Publishing Co., 1967).
6. T. Streicher and B. Reus, Classical logic, continuation semantics and abstract machines. J. Funct. Prog. 8, 543 - 572 (1998).
7. A. Troelstra (ed.), Metamathematical Investigations of Intuitionistic Arithmetic and Analysis. Lecture Notes in Mathematics 344 (Springer-Verlag, 1973).