Ordinal analysis
http://dbpedia.org/resource/Ordinal_analysis an entity of type: WikicatOrdinalNumbers
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.
rdf:langString
rdf:langString
Ordinal analysis
rdf:langString
Teoria das provas
xsd:integer
16084282
xsd:integer
1120418649
xsd:integer
0
rdf:langString
*
rdf:langString
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.
xsd:nonNegativeInteger
30010