Coverart for item
The Resource Incompleteness for higher-order arithmetic : an example based on Harrington's principle, Yong Cheng

Incompleteness for higher-order arithmetic : an example based on Harrington's principle, Yong Cheng

Label
Incompleteness for higher-order arithmetic : an example based on Harrington's principle
Title
Incompleteness for higher-order arithmetic
Title remainder
an example based on Harrington's principle
Statement of responsibility
Yong Cheng
Creator
Author
Subject
Language
eng
Member of
Cataloging source
GW5XE
http://library.link/vocab/creatorName
Cheng, Yong
Dewey number
511.3
Index
index present
LC call number
QA9.54
LC item number
.C54 2019eb
Literary form
non fiction
Nature of contents
  • dictionaries
  • bibliography
Series statement
SpringerBriefs in mathematics,
http://library.link/vocab/subjectName
Incompleteness theorems
Label
Incompleteness for higher-order arithmetic : an example based on Harrington's principle, Yong Cheng
Instantiates
Publication
Copyright
Antecedent source
unknown
Bibliography note
Includes bibliographical references and index
Carrier category
online resource
Carrier category code
  • cr
Carrier MARC source
rdacarrier
Color
multicolored
Content category
text
Content type code
  • txt
Content type MARC source
rdacontent
Contents
  • 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
Control code
on1119722287
Dimensions
unknown
Extent
1 online resource.
File format
unknown
Form of item
online
Isbn
9789811399480
Level of compression
unknown
Media category
computer
Media MARC source
rdamedia
Media type code
  • c
Other control number
10.1007/978-981-13-9949-7
Quality assurance targets
not applicable
Reformatting quality
unknown
Sound
unknown sound
Specific material designation
remote
System control number
(OCoLC)1119722287
Label
Incompleteness for higher-order arithmetic : an example based on Harrington's principle, Yong Cheng
Publication
Copyright
Antecedent source
unknown
Bibliography note
Includes bibliographical references and index
Carrier category
online resource
Carrier category code
  • cr
Carrier MARC source
rdacarrier
Color
multicolored
Content category
text
Content type code
  • txt
Content type MARC source
rdacontent
Contents
  • 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
Control code
on1119722287
Dimensions
unknown
Extent
1 online resource.
File format
unknown
Form of item
online
Isbn
9789811399480
Level of compression
unknown
Media category
computer
Media MARC source
rdamedia
Media type code
  • c
Other control number
10.1007/978-981-13-9949-7
Quality assurance targets
not applicable
Reformatting quality
unknown
Sound
unknown sound
Specific material designation
remote
System control number
(OCoLC)1119722287

Library Locations

Processing Feedback ...