Impredicativity and Trees with Gap Condition: A Second Course on Ordinal Analysis
From MaRDI portal
Publication:6396955
arXiv2204.09321MaRDI QIDQ6396955
Publication date: 20 April 2022
Introductory exposition (textbooks, tutorial papers, etc.) pertaining to mathematical logic and foundations (03-01) Cut-elimination and normal-form theorems (03F05) Foundations of classical theories (including reverse mathematics) (03B30) Second- and higher-order arithmetic and fragments (03F35) Recursive ordinals and ordinal notations (03F15) Gödel numberings and issues of incompleteness (03F40)