Ordinal analysis by transformations

DOI10.1016/j.apal.2008.09.011zbMath1172.03028OpenAlexW2100815019MaRDI QIDQ1006618

Henry Towsner

Publication date: 25 March 2009

Published in: Annals of Pure and Applied Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.apal.2008.09.011

zbMATH Keywords

ordinal analysisinductive definitions

Mathematics Subject Classification ID

Cut-elimination and normal-form theorems (03F05) Second- and higher-order arithmetic and fragments (03F35) Recursive ordinals and ordinal notations (03F15)

Related Items

A Buchholz rule for modal fixed point logics

Cites Work

• Well-ordering proofs for Martin-Löf type theory
• Proof theory for theories of ordinals. I: Recursively Mahlo ordinals
• Proof theory for theories of ordinals. II: \(\Pi_{3}\)-reflection
• Beweistheoretische Erfassung der unendlichen Induktion in der Zahlentheorie
• Cut-elimination for impredicative infinitary systems part I. Ordinal-analysis for ID1
• Recent Advances in Ordinal Analysis: Π¹₂— CA and Related Systems
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item