Incompleteness for Higher-Order Arithmetic

DOI10.1007/978-981-13-9949-7zbMath1457.03002OpenAlexW4232023937MaRDI QIDQ5228857

Yong Cheng

Publication date: 13 August 2019

Published in: SpringerBriefs in Mathematics (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-981-13-9949-7

zbMATH Keywords

incompletenesshigher-order arithmeticHarrington's principleMartin-Harrington theorem

Mathematics Subject Classification ID

Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) Second- and higher-order arithmetic and fragments (03F35) Gödel numberings and issues of incompleteness (03F40)

Related Items (2)

CURRENT RESEARCH ON GÖDEL’S INCOMPLETENESS THEOREMS ⋮ FINDING THE LIMIT OF INCOMPLETENESS I

This page was built for publication: Incompleteness for Higher-Order Arithmetic