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

DOI Web Site 参考文献53件 オープンアクセス

この論文をさがす

説明

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

収録刊行物

参考文献 (53)*注記

もっと見る

キーワード

詳細情報 詳細情報について

問題の指摘

ページトップへ