Reverse mathematics 2001

Front Cover
Association for Symbolic Logic, Sep 7, 2005 - Mathematics - 401 pages
0 Reviews
Reverse Mathematics is a program of research in the foundations of mathematics, motivated by the foundational questions of what are appropriate axioms for mathematics, and what are the logical strengths of particular axioms and particular theorems. The book contains 24 original papers by leading researchers. These articles exhibit the exciting recent developments in reverse mathematics and subsystems of second order arithmetic.

From inside the book

What people are saying - Write a review

We haven't found any reviews in the usual places.

Contents

Andrew Arana
1
Jeremy Avigad
19
Douglas K Brown
47
Copyright

18 other sections not shown

Common terms and phrases

About the author (2005)

Stephen G. Simpson is a mathematics professor at the Pennsylvania State University. He has lectured and published widely in mathematical logic and the foundations of mathematics. He is the developer of the foundational program known as Reverse Mathematics and the author of Subsystems of Second Order Arithmetic, 2nd Edition.

Bibliographic information