A sneak preview of proof theory of ordinals

DOI10.4288/JAFPOS.20.0_29MaRDI QIDQ2862641zbMATH OpenOpenAlexFDO

Authors Toshiyasu Arai

Publication date 18 November 2013

Published in Annals of the Japan Association for Philosophy of Science (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1102.0596

Mathematics Subject Classification ID

Recursive ordinals and ordinal notations (03F15)

Abstract: This talk is a sneak preview of the project, 'proof theory for theories of ordinals'. Background, aims, survey and furture works on the project are given. Subsystems of second order arithmetic are embedded in recursively large ordinals and then the latter are analysed. We scarcely touch upon proof theoretical matters.

Cited in

(5)

• A Note on (Meta)predicative Wellordering Proofs
• scientific article; zbMATH DE number 1870412 (Why is no real title available?)
• Proof theory for theories of ordinals. I: Recursively Mahlo ordinals
• Proof Theory for Theories of Ordinals III: $$\Pi _{N}$$ -Reflection
• Proof Pearl: Wellfounded Induction on the Ordinals Up to ε 0

This page was built for publication: A sneak preview of proof theory of ordinals

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