Cargando…
Incompleteness for higher-order arithmetic: an example based on Harrington’s principle
The book examines the following foundation question: are all theorems in classic mathematics which are expressible in second order arithmetic provable in second order arithmetic? In this book, the author gives a counterexample for this question and isolates this counterexample from Martin-Harrington...
| Autor principal: | |
|---|---|
| Lenguaje: | eng |
| Publicado: |
Springer
2019
|
| Materias: | |
| Acceso en línea: | https://dx.doi.org/10.1007/978-981-13-9949-7 http://cds.cern.ch/record/2691306 |