![Computability theory / Proof theory / Mathematical logic / Metalogic / Reverse mathematics / Primitive recursive functional / Second-order arithmetic / Peano axioms / Primitive recursive function / Primitive recursive arithmetic / Model theory / Symbol Computability theory / Proof theory / Mathematical logic / Metalogic / Reverse mathematics / Primitive recursive functional / Second-order arithmetic / Peano axioms / Primitive recursive function / Primitive recursive arithmetic / Model theory / Symbol](https://www.pdfsearch.io/img/902cb23719656c6305668528fa97210c.jpg) Date: 2012-11-12 10:34:29Computability theory Proof theory Mathematical logic Metalogic Reverse mathematics Primitive recursive functional Second-order arithmetic Peano axioms Primitive recursive function Primitive recursive arithmetic Model theory Symbol | | FOUNDATIONAL AND MATHEMATICAL USES OF HIGHER TYPES ULRICH KOHLENBACH† DEDICATED TO SOLOMON FEFERMAN FOR HIS 70TH BIRTHDAY §1. Introduction. A central theme of proof theory is expressed by the following question:Add to Reading ListSource URL: www.mathematik.tu-darmstadt.deDownload Document from Source Website File Size: 279,69 KBShare Document on Facebook
|