Common · Knowledge
Ordinal analysis
Mathematical technique in proof theory that associates large countable ordinals to mathematical theories as a measure of their proof-theoretic strengths
In proof theory, ordinal analysis assigns ordinals (often large countable ordinals) to mathematical theories as a measure of their strength. If theories have the same proof-theoretic ordinal they are often equiconsistent, and if one theory has a larger proof-theoretic ordinal than another it can often prove the consistency of the second theory.
From Wikipedia
In proof theory, ordinal analysis assigns ordinals (often large countable ordinals) to mathematical theories as a measure of their strength. If theories have the same proof-theoretic ordinal they are often equiconsistent, and if one theory has a larger proof-theoretic ordinal than another it can often prove the consistency of the second theory. In addition to obtaining the proof-theoretic ordinal of a theory, in practice ordinal analysis usually also yields various other pieces of information about the theory being analyzed, for example characterizations of the classes of provably recursive, hyperarithmetical, or Δ 2 1 {\displaystyle \Delta _{2}^{1}} functions of the theory.
Text: Wikipédia, CC BY-SA 4.0. ·
Related cards
-
★★★
Ordinal number
Mathematical concept generalizing ordinal numerals to extend enumeration to infinite sets
-
★★★
Mathematical analysis
Branch of mathematics
-
★★
Morphological analysis (problem-solving)
Heuristic method
-
S★
Scale analysis (mathematics)
Problem-solving technique in applied mathematics using order-of-magnitude approximations
-
A★
Algebraic analysis
Technique of studying linear partial differential equations
-
D★
Double counting (proof technique)
Technique for proving that two expressions are equal by showing that they both count the size of the same set