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

• Κύριος συγγραφέας: Cheng, Yong (Συγγραφέας, http://id.loc.gov/vocabulary/relators/aut)
• Συγγραφή απο Οργανισμό/Αρχή: SpringerLink (Online service)
• Μορφή: Ηλεκτρονική πηγή Ηλ. βιβλίο
• Γλώσσα: English
• Έκδοση: Singapore : Springer Singapore : Imprint: Springer, 2019.
• Έκδοση: 1st ed. 2019.
• Σειρά: SpringerBriefs in Mathematics,
• Θέματα: 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...

Πίνακας περιεχομένων:

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