Matches in DBpedia 2014 for { <http://dbpedia.org/resource/Ordinal_analysis> ?p ?o. }
Showing items 1 to 22 of
22
with 100 items per page.
- Ordinal_analysis abstract "In proof theory, ordinal analysis assigns ordinals (often large countable ordinals) to mathematical theories as a measure of their strength. The field was formed when Gerhard Gentzen in 1934 used cut elimination to prove, in modern terms, that the proof theoretic ordinal of Peano arithmetic is ε0.".
- Ordinal_analysis wikiPageID "16084282".
- Ordinal_analysis wikiPageRevisionID "592876898".
- Ordinal_analysis b "0".
- Ordinal_analysis hasPhotoCollection Ordinal_analysis.
- Ordinal_analysis p "*".
- Ordinal_analysis subject Category:Ordinal_numbers.
- Ordinal_analysis subject Category:Proof_theory.
- Ordinal_analysis type Abstraction100002137.
- Ordinal_analysis type DefiniteQuantity113576101.
- Ordinal_analysis type Measure100033615.
- Ordinal_analysis type Number113582013.
- Ordinal_analysis type OrdinalNumber113597280.
- Ordinal_analysis type OrdinalNumbers.
- Ordinal_analysis comment "In proof theory, ordinal analysis assigns ordinals (often large countable ordinals) to mathematical theories as a measure of their strength. The field was formed when Gerhard Gentzen in 1934 used cut elimination to prove, in modern terms, that the proof theoretic ordinal of Peano arithmetic is ε0.".
- Ordinal_analysis label "Ordinal analysis".
- Ordinal_analysis sameAs m.03qnnpm.
- Ordinal_analysis sameAs Q7100782.
- Ordinal_analysis sameAs Q7100782.
- Ordinal_analysis sameAs Ordinal_analysis.
- Ordinal_analysis wasDerivedFrom Ordinal_analysis?oldid=592876898.
- Ordinal_analysis isPrimaryTopicOf Ordinal_analysis.