Hilbert’s Programme and Ordinal Analysis

DOI10.1515/9781501502620-017MaRDI QIDQ5221861zbMATH OpenOpenAlexFDO

Authors 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 eliminationHilbert's programmenormalizationordinal analysisordinal notationsprovably recursive functionssemiformal calculi

Mathematics Subject Classification ID

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

Recommendations

• Ordinal Analysis with an Introduction to Proof Theory
• Hilbert's programs and beyond
• scientific article; zbMATH DE number 7095141
• Ordinal numbers and the Hilbert basis theorem
• Proof theory and ordinal analysis
• Ordinals in analysis and measure theory
• Hilbert's program and the omega-rule
• scientific article; zbMATH DE number 4087620
• Mathematical proof theory in the light of ordinal analysis

Cited in

(5)

• Proof theory in philosophy of mathematics
• From subsystems of analysis to subsystems of set theory
• Hilbert's iterativistic tendencies
• NOMINALISTIC ORDINALS, RECURSION ON HIGHER TYPES, AND FINITISM
• Iterated inductive definitions revisited

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5221861)