Ordinal analysis with an introduction to proof theory / Toshiyasu Arai.
This book provides readers with a guide to both ordinal analysis, and to proof theory. It mainly focuses on ordinal analysis, a research topic in proof theory that is concerned with the ordinal theoretic content of formal theories. However, the book also addresses ordinal analysis and basic material...
Full description
Saved in: