A Sneak Preview of Proof Theory of Ordinals(<Special Section>Infinity in Philosophy and Mathematics)

DOI10.4288/JAFPOS.20.0_29zbMath1275.03153arXiv1102.0596OpenAlexW598618831MaRDI QIDQ2862641

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)

This page was built for publication: A Sneak Preview of Proof Theory of Ordinals(<Special Section>Infinity in Philosophy and Mathematics)