Pages that link to "Reverse mathematics"
From HandWiki
The following pages link to Reverse mathematics:
Displayed 50 items.
View (previous 50 | next 50) (20 | 50 | 100 | 250 | 500)- Equiconsistency (← links)
- Hilbert's program (← links)
- Jordan curve theorem (← links)
- Kőnig's lemma (← links)
- Kruskal's tree theorem (← links)
- Mathematical logic (← links)
- Ramsey's theorem (← links)
- Real number (← links)
- Sylvester–Gallai theorem (← links)
- Symbolic regression (← links)
- Computability theory (← links)
- Ekeland's variational principle (← links)
- Hahn–Banach theorem (← links)
- List of first-order theories (← links)
- List of mathematical logic topics (← links)
- Proof theory (← links)
- Higman's lemma (← links)
- Large countable ordinal (← links)
- Ordinal analysis (← links)
- Ordinal collapsing function (← links)
- Ψ₀(Ωω) (← links)
- Brouwer fixed-point theorem (← links)
- Dyadic rational (← links)
- Ultrafinitism (← links)
- Zermelo–Fraenkel set theory (← links)
- Μ operator (← links)
- Constructive set theory (← links)
- Elementary function arithmetic (transclusion) (← links)
- Low (computability) (← links)
- Gödel's completeness theorem (← links)
- Conservative extension (← links)
- Bar induction (← links)
- Church's thesis (constructive mathematics) (← links)
- Heyting arithmetic (← links)
- Axiom of dependent choice (← links)
- Slicing the Truth (← links)
- König's lemma (← links)
- Axiom of non-choice (← links)
- Second-order arithmetic (← links)
- Specker sequence (← links)
- Dushnik–Miller theorem (← links)
- Reverse Mathematics: Proofs from the Inside Out (← links)
- Laver's theorem (← links)
- Ψ0(Ωω) (← links)
- Induction, bounding and least number principles (← links)
- Buchholz's ordinal (← links)
- Silver's dichotomy (← links)
- S2S (mathematics) (← links)
- Beta-model (← links)
- Determinacy (← links)
