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 |
2 years ago |
editors |
2 |
Top Answerers
more »Recent Hot Answers
In what rigorous sense are Sperner's Lemma and the Brouwer Fixed Point Theorem equivalent?What is the reverse mathematical strength of the fundamental theorem of algebra?
Prospects for reverse mathematics in Homotopy Type Theory
Reverse mathematics of (co)homology?
Consistency strength needed for applied mathematics
more »
Related Tags
lo.logic × 53
computability-theory × 15
proof-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