×

Une extension de l’interprétation de Gödel à l’analyse, et son application à l’élimination des coupures dans l’analyse et la théorie des types.(An extension of Gödel’s interpretation to analysis and its application to cut elimination in analysis and type theory). (French) Zbl 0221.02013

Proc. 2nd Scandinav. Logic Sympos. 1970, Studies Logic Foundations Math. 63, 63-92 (1971).

MSC:

03F03 Proof theory in general (including proof-theoretic semantics)
03F10 Functionals in proof theory
03B15 Higher-order logic; type theory (MSC2010)
03F25 Relative consistency and interpretations

Citations:

Zbl 0219.02001