The general enterprise of calibrating the strength of classical mathematical theorems in terms of the axioms, typically of set existence, needed to prove them; originated in its modern form in the 1970s by H. Friedman and S. G. Simpson (see R.A. Shore, "Reverse Mathematics: The Playground of Logic", 2010).
Stats
created |
5 years ago by Steven Gubkin |
viewed |
25 times |
active |
1 year ago |
editors |
2 |
Top Answerers
more »Recent Hot Answers
In what rigorous sense are Sperner's Lemma and the Brouwer Fixed Point Theorem equivalent?Prospects for reverse mathematics in Homotopy Type Theory
Consistency strength needed for applied mathematics
Reverse mathematics of (co)homology?
Reverse mathematics below RCA
more »
Related Tags
lo.logic × 51
proof-theory × 14
computability-theory × 14
peano-arithmetic × 7
foundations × 6
set-theory × 4
real-analysis × 3
axiom-of-choice × 3
ordinal-analysis × 3
model-theory × 3
soft-question × 2
math-philosophy × 2
nt.number-theory × 2
co.combinatorics × 2
metamathematics × 2
more related tags