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

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

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

Full description

Bibliographic Details
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.
Online Access:Full Text via HEAL-Link

Internet

Full Text via HEAL-Link

ΒΚΠ - Πατρα: ALFd

Holdings details from ΒΚΠ - Πατρα: ALFd
Call Number: 330.01 BAU
Copy 1 Available

ΒΚΠ - Πατρα: BSC

Holdings details from ΒΚΠ - Πατρα: BSC
Call Number: 330.01 BAU
Copy 2 Available
Copy 3 Available

Similar Items