Ordinal analysis by transformations

DOI10.1016/J.APAL.2008.09.011MaRDI QIDQ1006618zbMATH OpenOpenAlexFDO

Authors 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)

Recommendations

• scientific article; zbMATH DE number 3999733
• Characterizations of ordinal analysis
• scientific article; zbMATH DE number 1390277
• ORDANOVA: analysis of ordinal variation
• scientific article; zbMATH DE number 5057388
• Ordinal factor analysis
• Dynamic ordinal analysis
• Reflection ranks and ordinal analysis
• Theories and Ordinals: Ordinal Analysis

Cites work

• scientific article; zbMATH DE number 3833954 (Why is no real title available?)
• scientific article; zbMATH DE number 42735 (Why is no real title available?)
• scientific article; zbMATH DE number 193575 (Why is no real title available?)
• scientific article; zbMATH DE number 1215496 (Why is no real title available?)
• scientific article; zbMATH DE number 952378 (Why is no real title available?)
• scientific article; zbMATH DE number 3450171 (Why is no real title available?)
• scientific article; zbMATH DE number 1870412 (Why is no real title available?)
• Beweistheoretische Erfassung der unendlichen Induktion in der Zahlentheorie
• Cut-elimination for impredicative infinitary systems part I. Ordinal-analysis for ID1
• Proof theory for theories of ordinals. I: Recursively Mahlo ordinals
• Proof theory for theories of ordinals. II: \(\Pi_{3}\)-reflection
• Recent Advances in Ordinal Analysis: Π¹₂— CA and Related Systems
• Well-ordering proofs for Martin-Löf type theory

Cited in

(7)

• Transversals for ordinal intervals
• An extension of the omega-rule
• scientific article; zbMATH DE number 5057388 (Why is no real title available?)
• scientific article; zbMATH DE number 1302495 (Why is no real title available?)
• Theories and Ordinals: Ordinal Analysis
• Countable version of Omega-rule
• A Buchholz rule for modal fixed point logics

This page was built for publication: Ordinal analysis by transformations

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