Hilbert’s Programme and Ordinal Analysis

DOI10.1515/9781501502620-017zbMath1433.03132OpenAlexW2478547507MaRDI QIDQ5221861

Wolfram Pohlers

Publication date: 3 April 2020

Published in: Concepts of Proof in Mathematics, Philosophy, and Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1515/9781501502620-017

zbMATH Keywords

cut eliminationnormalizationordinal notationsordinal analysisHilbert's programmeprovably recursive functionssemiformal calculi

Mathematics Subject Classification ID

Philosophical and critical aspects of logic and foundations (03A05) Cut-elimination and normal-form theorems (03F05) Second- and higher-order arithmetic and fragments (03F35) Proof theory in general (including proof-theoretic semantics) (03F03) Recursive ordinals and ordinal notations (03F15)

Related Items (2)

From Subsystems of Analysis to Subsystems of Set Theory ⋮ Iterated Inductive Definitions Revisited

This page was built for publication: Hilbert’s Programme and Ordinal Analysis