1. Knowra
  2. Ordinal analysis
  3. Linked from

Linked from

The 6 pages that link to Ordinal analysis, each with the reason it gives.

All 6Broader topic 1Related 3Narrower topic 2
  • Ordinal numberRelated: The assigned ordinal bounds the transfinite induction a theory can justify.

  • Paris–Harrington theoremRelated: It helps explain why Peano arithmetic cannot establish the theorem.

  • Kruskal's tree theoremRelated: The theorem's proof-theoretic strength is measured using large countable ordinals.

Machine generatedConnect to another ideaRandom page