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...
| Main Author: | |
|---|---|
| Corporate Author: | |
| Format: | Electronic eBook |
| Language: | English |
| Published: |
Singapore :
Springer Singapore : Imprint: Springer,
2019.
|
| Edition: | 1st ed. 2019. |
| Series: | SpringerBriefs in Mathematics,
|
| Subjects: | |
| Online Access: | Full Text via HEAL-Link |
