Reverse Mathematics 2001

Download or read book Reverse Mathematics 2001 written by Stephen G. Simpson and published by Cambridge University Press. This book was released on 2017-03-30 with total page 413 pages. Available in PDF, EPUB and Kindle. Book excerpt: Since their inception, the Perspectives in Logic and Lecture Notes in Logic series have published seminal works by leading logicians. Many of the original books in the series have been unavailable for years, but they are now in print once again. Reverse mathematics is a program of research in the foundations of mathematics, motivated by two foundational questions: 'what are appropriate axioms for mathematics?' and 'what are the logical strengths of particular axioms and particular theorems?' This volume, the twenty-first publication in the Lecture Notes in Logic series, contains twenty-four original research papers from respected authors that present exciting new developments in reverse mathematics and subsystems of second order arithmetic since 1998.