عنوان
پدید آورنده
موضوع
رده
QA9.54 .C54 2019eb
QA9
.
54
.
C54
2019eb
کتابخانه
محل استقرار
9789811399497
9789811399503
9789811399510
9811399492
9811399506
9811399514
9789811399480
9811399484
Incompleteness for higher-order arithmetic :
[Book]
an example based on Harrington's principle /
Yong Cheng.
Singapore :
Springer,
[2019]
©2019
1 online resource
SpringerBriefs in mathematics,
2191-8198
Includes bibliographical references and index.
Intro; Preface; Acknowledgements; Contents; 1 Introduction and Preliminaries; 1.1 Preliminaries; 1.1.1 Basics of Incompleteness; 1.1.2 Basics of Reverse Mathematics; 1.1.3 Overview of Incompleteness for Higher-Order Arithmetic; 1.1.4 Basics of Set Theory; 1.2 Introduction; References; 2 A Minimal System; 2.1 Preliminaries; 2.1.1 Almost Disjoint Forcing; 2.1.2 The Large Cardinal Notion 0; 2.1.3 Remarkable Cardinal; 2.2 The Strength of Z2+ Harrington's Principle; 2.3 The Strength of Z3+ Harrington's Principle; 2.4 Z4 + Harrington's Principle Implies that 0 Exists; References
3 The Boldface Martin-Harrington Theorem in Z23.1 The Boldface Martin Theorem in Z2; 3.2 The Boldface Harrington Theorem in Z2; References; 4 Strengthenings of Harrington's Principle; 4.1 Overview; 4.2 Harrington's Club Shooting Forcing; 4.3 The Strength of Z2 + HP(); 4.4 Subcomplete Forcing; 4.5 The Strength of Z3 + HP(); References; 5 Forcing a Model of Harrington's Principle Without Reshaping; 5.1 Introduction; 5.2 The Notion of Strong Reflecting Property for L-Cardinals; 5.3 Baumgartner's Forcing; 5.4 The First Step; 5.5 The Second Step; 5.6 The Third Step; 5.7 The Fourth Step; References
0
8
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 theorem in set theory. It shows that the statement "Harrington's principle implies zero sharp" is not provable in second order arithmetic. The book also examines what is the minimal system in higher order arithmetic to show that Harrington's principle implies zero sharp and the large cardinal strength of Harrington's principle and its strengthening over second and third order arithmetic.
Springer Nature
com.springer.onix.9789811399497
Incompleteness for Higher-Order Arithmetic : An Example Based on Harrington's Principle.
9789811399480
Incompleteness theorems.
Incompleteness theorems.
MAT018000
PBC
PBC
PBCD
511
.
3
23
QA9
.
54
.
C54
2019eb
Cheng, Yong
20200823231556.0
pn
مطالعه متن کتاب [Book]
Y
