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

Annals of the Japan Association for Philosophy of Science

Online ISSN : 1884-1228
Print ISSN : 0453-0691
ISSN-L : 0453-0691

Toshiyasu ARAI

Author information

Keywords: ordinal analyses

JOURNAL FREE ACCESS

2012 Volume 20 Pages 29-47

Details

Abstract

This article is a sneak preview of the project, 'proof theory for theories of ordinals'. Background, aims and survey on the project are given.

Content from these authors

Favorites & Alerts