Pages that link to "Reverse mathematics"
The following pages link to Reverse mathematics:
Displaying 14 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)