Ordinal Analysis with an Introduction to Proof Theory (Logic in Asia: Studia Logica Library) - Softcover
Book 8 of 9: Logic in Asia: Studia Logica Library
Synopsis
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 materials in proof theory of first-order or omega logic, presenting some new results and new proofs of known ones.
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.
"synopsis" may belong to another edition of this title.
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.
From the Back Cover
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 materials in proof theory of first-order or omega logic, presenting some new results and new proofs of known ones.
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.
"About this title" may belong to another edition of this title.
Other Popular Editions of the Same Title
Search results for Ordinal Analysis with an Introduction to Proof Theory...
Seller Image
Ordinal Analysis With an Introduction to Proof Theory
Seller: GreatBookPrices, Columbia, MD, U.S.A.
Seller rating 5 out of 5 stars
Condition: As New. Unread book in perfect condition. Seller Inventory # 43627268
Stock Image
Ordinal Analysis with an Introduction to Proof Theory (Logic in Asia: Studia Logica Library)
Seller: Lucky's Textbooks, Dallas, TX, U.S.A.
Seller rating 5 out of 5 stars
Condition: New. Seller Inventory # ABLIING23Apr0412070089748
Seller Image
Ordinal Analysis With an Introduction to Proof Theory
Seller: GreatBookPrices, Columbia, MD, U.S.A.
Seller rating 5 out of 5 stars
Condition: New. Seller Inventory # 43627268-n
Stock Image
Ordinal Analysis with an Introduction to Proof Theory (Logic in Asia: Studia Logica Library)
Seller: Ria Christie Collections, Uxbridge, United Kingdom
Seller rating 5 out of 5 stars
Condition: New. In. Seller Inventory # ria9789811564611_new
Buy New
£ 59.13
Shipping:
£ 11.98
From United Kingdom to U.S.A.
Quantity: Over 20 available
Stock Image
Ordinal Analysis with an Introduction to Proof Theory
Seller: Chiron Media, Wallingford, United Kingdom
Seller rating 4 out of 5 stars
PF. Condition: New. Seller Inventory # 6666-IUK-9789811564611
Buy New
£ 58.27
Shipping:
£ 15.49
From United Kingdom to U.S.A.
Quantity: 10 available
Seller Image
Ordinal Analysis With an Introduction to Proof Theory
Seller: GreatBookPricesUK, Woodford Green, United Kingdom
Seller rating 5 out of 5 stars
Condition: New. Seller Inventory # 43627268-n
Seller Image
Ordinal Analysis With an Introduction to Proof Theory
Seller: GreatBookPricesUK, Woodford Green, United Kingdom
Seller rating 5 out of 5 stars
Condition: As New. Unread book in perfect condition. Seller Inventory # 43627268
Seller Image
Ordinal Analysis with an Introduction to Proof Theory
Published by
Springer Nature Singapore, Springer Nature Singapore Aug 2021, 2021
ISBN 10: 9811564612
ISBN 13: 9789811564611
New
Taschenbuch
Seller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germany
Seller rating 5 out of 5 stars
Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -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 materials in proof theory of first-order or omega logic, presenting some new results and new proofs of known ones.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. 332 pp. Englisch. Seller Inventory # 9789811564611
Stock Image
Ordinal Analysis with an Introduction to Proof Theory (Logic in Asia: Studia Logica Library)
Seller: Books Puddle, New York, NY, U.S.A.
Seller rating 4 out of 5 stars
Condition: New. 1st ed. 2020 edition NO-PA16APR2015-KAP. Seller Inventory # 26388598514
Seller Image
Ordinal Analysis with an Introduction to Proof Theory
Published by
Springer, Berlin|Springer Nature Singapore|Springer, 2021
ISBN 10: 9811564612
ISBN 13: 9789811564611
New
Softcover
Seller: moluna, Greven, Germany
Seller rating 4 out of 5 stars
Condition: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. 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 ad. Seller Inventory # 488591011