Incompleteness for Higher-Order Arithmetic An Example Based on Harrington's Principle /

• Main Author: Cheng, Yong (Author, http://id.loc.gov/vocabulary/relators/aut)
• Corporate Author: SpringerLink (Online service)
• Format: Electronic eBook
• Language: English
• Published: Singapore : Springer Singapore : Imprint: Springer, 2019.
• Edition: 1st ed. 2019.
• Series: SpringerBriefs in Mathematics,
• Subjects: Mathematical logic.; Mathematical Logic and Foundations.

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...

Table of Contents:

• Introduction and Preliminary
• A minimal system
• The Boldface Martin-Harrington Theorem in Z2
• Strengthenings of Harrington's Principle
• Forcing a model of Harrington's Principle without reshaping
• The strong reflecting property for L-cardinals.