A reprinting of the author's 1985 Princeton University dissertation (0)

by Bounded Arithmetic, Naples Bibliopolis
Results 1 - 1 of 1

Gödel's Functional ("Dialectica") Interpretation

by Jeremy Avigad, Solomon Feferman , 1998
"... Contents 1. Introduction . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 338 2. The Dialectica interpretation of arithmetic . . . . . . . . . . . . . . . . . . . . . 341 3. Consequences and benefits of the interpretation . . . . . . . . . . . . . . . . . . 351 4. Models of ..."
Abstract - Cited by 52 (9 self) - Add to MetaCart
Contents 1. Introduction . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 338 2. The Dialectica interpretation of arithmetic . . . . . . . . . . . . . . . . . . . . . 341 3. Consequences and benefits of the interpretation . . . . . . . . . . . . . . . . . . 351 4. Models of T , type structures, and normalizability . . . . . . . . . . . . . . . . . 356 5. The interpretation of fragments of arithmetic . . . . . . . . . . . . . . . . . . . 362 6. The interpretation of analysis . . . . . . . . . . . . . . . . . . . . . . . . . . . . 365 7. Conservation results for weak Konig's lemma . . . . . . . . . . . . . . . . . . . 371 8. Non-constructive interpretations and applications . . . . . . . . . . . . . . . . . 377 9. The interpretation of theories of ordinals . . . . . . . . . . . . . . . . . . . . . .<F11.9