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 |
9 months ago |
viewed |
17 times |
active |
9 months 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?
truth vs. provability for ordered fields
more »
Related Tags
lo.logic × 47
proof-theory × 13
computability-theory × 12
foundations × 7
set-theory × 4
arithmetic × 4
ordinal-analysis × 3
axiom-of-choice × 3
real-analysis × 3
model-theory × 3
math-philosophy × 2
metamathematics × 2
soft-question × 2
co.combinatorics × 2
nt.number-theory × 2
peano-arithmetic × 2
more related tags