The following pages link to Reverse mathematics:
Displayed 23 items.
- Brouwer fixed-point theorem (← links | edit)
- Gödel's completeness theorem (← links | edit)
- Hahn–Banach theorem (← links | edit)
- Mathematical logic (← links | edit)
- Stephen Cook (← links | edit)
- Dyadic rational (← links | edit)
- History of logic (← links | edit)
- ACA (← links | edit)
- Ultrafinitism (← links | edit)
- Zermelo–Fraenkel set theory (← links | edit)
- Kőnig's lemma (← links | edit)
- Computability theory (← links | edit)
- Foundations of mathematics (← links | edit)
- Proof theory (← links | edit)
- Ramsey's theorem (← links | edit)
- Big Five (← links | edit)
- Jordan curve theorem (← links | edit)
- List of mathematical logic topics (← links | edit)
- Axiom of dependent choice (← links | edit)
- Reverse Mathematics (redirect page) (← links | edit)
- Hilbert's program (← links | edit)
- Μ operator (← links | edit)
- Sylvester–Gallai theorem (← links | edit)