A sneak preview of proof theory of ordinals

DOI10.4288/JAFPOS.20.0_29zbMATH Open1275.03153arXiv1102.0596OpenAlexW598618831MaRDI QIDQ2862641FDOQ2862641

Authors: Toshiyasu Arai 

Publication date: 18 November 2013

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

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.

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

Mathematics Subject Classification ID

Recursive ordinals and ordinal notations (03F15)

Cited In (5)

• A Note on (Meta)predicative Wellordering Proofs
• Title not available (Why is that?)
• 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)