TY  - BOOK
AU  - Simpson,Stephen G.
TI  - Reverse mathematics 2001
T2  - Lecture notes in logic
SN  - 9781316755846 (ebook)
AV  - QA9.25 .R48 2016
U1  - 511.3 22
PY  - 2016///
CY  - Cambridge
PB  - Cambridge University Press
KW  - Reverse mathematics
N1  - Title from publisher's bibliographic system (viewed on 14 Apr 2017)
N2  - 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
UR  - https://doi.org/10.1017/9781316755846
ER  -