Description
About the Author
Toshiyasu Arai received a PhD from Tsukuba University. His thesis was on an extension of G. Takeuti's consistency proofs.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.
Reviews
"Arai's book represents an important contribution to the field of ordinal analysis, and is recommended to any mathematician interested in the classification of the proof-theoretic strength of mathematical theories. ... the book is well written, well organized, and concise ... . Arai is to be commended for this significant resource for anyone who wishes to study ordinal analysis, and gain a better understanding of the proof-theoretic strength of theories." (Matthew Jura, Mathematical Reviews, December, 2023)
Book Information
ISBN 9789811564611
Author Toshiyasu Arai
Format Paperback
Page Count 313
Imprint Springer Verlag, Singapore
Publisher Springer Verlag, Singapore