Proof Theory of Martin-Löf Type Theory. An overview
We give an overview over the historic development of proof theory and the main techniques used in ordinal theoretic proof theory. We argue, that in a revised Hilbert’s program, ordinal theoretic proof theory has to be supplemented by a second step, namely the development of strong equiconsistent con...
Shranjeno v:
| izdano v: | URI:https://journals.openedition.org/msh, |
|---|---|
| Glavni avtor: | |
| Format: | Article ou chapitre numérique |
| Jezik: | Anglais |
| Izdano: |
Mathématiques et sciences humaines
2006
|
| Teme: | |
| Online dostop: | Accès Université d'Orléans et IFPM Accès Université d'Orléans et IFPM |