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

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

Toshiyasu ARAI

著者情報

キーワード: ordinal analyses

ジャーナルフリー

2012 年 20 巻 p. 29-47

DOI https://doi.org/10.4288/jafpos.20.0_29

詳細

抄録

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

著者関連情報

© 2012 Annals of the Japan Association for Philosophy of Science

お気に入り & アラート

関連記事

閲覧履歴

Top