Authors:
Covers ordinal analysis at an advanced level, and proof theory at an elementary level
Approaches ordinal analysis in a contemporary fashion
Includes a wealth of exercises and answers, making it suitable for student use
Part of the book series: Logic in Asia: Studia Logica Library (LIAA)
Buy it now
Buying options
Tax calculation will be finalised at checkout
Other ways to access
This is a preview of subscription content, access via your institution.
Table of contents (7 chapters)
-
Front Matter
-
Back Matter
About this book
Primarily intended for graduate students and researchers in mathematics, especially in mathematical logic, the book also includes numerous exercises and answers for selected exercises, designed to help readers grasp and apply the main results and techniques discussed.
Keywords
- ordinal analysis
- proof theory
- ordinals in proof theory
- consistency proof
- mathematics of proofs
- theory of proofs
- strengths of theories
- proof theory of first-order arithmetic
- proof theory of second-order arithmetic
- proof theory of set theories
Authors and Affiliations
-
University of Tokyo, Tokyo, Japan
Toshiyasu Arai
About the author
He got positions in Nagoya University, Hiroshima University, Kobe University, Chiba University, and University of Tokyo. His research interest is in proof theory. He received the MSJ Autumn Prize from the Mathematical Society of Japan in 2004 for the research on the Hilbert’s second problem.
Bibliographic Information
Book Title: Ordinal Analysis with an Introduction to Proof Theory
Authors: Toshiyasu Arai
Series Title: Logic in Asia: Studia Logica Library
DOI: https://doi.org/10.1007/978-981-15-6459-8
Publisher: Springer Singapore
eBook Packages: Religion and Philosophy, Philosophy and Religion (R0)
Copyright Information: The Editor(s) (if applicable) and The Author(s), under exclusive license to Springer Nature Singapore Pte Ltd. 2020
Hardcover ISBN: 978-981-15-6458-1Published: 12 August 2020
Softcover ISBN: 978-981-15-6461-1Published: 13 August 2021
eBook ISBN: 978-981-15-6459-8Published: 11 August 2020
Series ISSN: 2364-4613
Series E-ISSN: 2364-4621
Edition Number: 1
Number of Pages: XVI, 313
Number of Illustrations: 20 b/w illustrations