657 followers
Yellow Saleのラインナップ眺めてたけど、これ気になってきた https://t.co/pQI6Kwi8DG
Incompleteness for Higher-Order Arithmetic
Overview of attention for book
Table of Contents
-
Altmetric BadgeBook Overview
-
Altmetric BadgeChapter 1 Introduction and Preliminaries
-
Altmetric BadgeChapter 2 A Minimal System
-
Altmetric BadgeChapter 3 The Boldface Martin-Harrington Theorem in $$\mathsf{Z_2}$$
-
Altmetric BadgeChapter 4 Strengthenings of Harrington’s Principle
-
Altmetric BadgeChapter 5 Forcing a Model of Harrington’s Principle Without Reshaping
-
Altmetric BadgeChapter 6 The Strong Reflecting Property for L -Cardinals