Matches in DBpedia 2015-10 for { <http://dbpedia.org/resource/Ordinal_analysis> ?p ?o }
Showing triples 1 to 82 of
82
with 100 triples 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 wikiPageLength "8868".
- Ordinal_analysis wikiPageOutDegree "48".
- Ordinal_analysis wikiPageRevisionID "648058414".
- Ordinal_analysis wikiPageWikiLink Arithmetical_comprehension.
- Ordinal_analysis wikiPageWikiLink Arithmetical_transfinite_recursion.
- Ordinal_analysis wikiPageWikiLink Axiom_of_infinity.
- Ordinal_analysis wikiPageWikiLink Bachmann–Howard_ordinal.
- Ordinal_analysis wikiPageWikiLink Buchholzs_notation.
- Ordinal_analysis wikiPageWikiLink Category:Ordinal_numbers.
- Ordinal_analysis wikiPageWikiLink Category:Proof_theory.
- Ordinal_analysis wikiPageWikiLink Church-Kleene_ordinal.
- Ordinal_analysis wikiPageWikiLink Church–Kleene_ordinal.
- Ordinal_analysis wikiPageWikiLink Computable_function.
- Ordinal_analysis wikiPageWikiLink Constructive_set_theory.
- Ordinal_analysis wikiPageWikiLink Cut-elimination_theorem.
- Ordinal_analysis wikiPageWikiLink Cut_elimination.
- Ordinal_analysis wikiPageWikiLink Elementary_function_arithmetic.
- Ordinal_analysis wikiPageWikiLink Epsilon_numbers_(mathematics).
- Ordinal_analysis wikiPageWikiLink Epsilon_zero.
- Ordinal_analysis wikiPageWikiLink Equiconsistency.
- Ordinal_analysis wikiPageWikiLink Feferman–Schütte_ordinal.
- Ordinal_analysis wikiPageWikiLink Gentzen.
- Ordinal_analysis wikiPageWikiLink Gentzens_consistency_proof.
- Ordinal_analysis wikiPageWikiLink Gerhard_Gentzen.
- Ordinal_analysis wikiPageWikiLink Grand_conjecture.
- Ordinal_analysis wikiPageWikiLink Grzegorczyk_hierarchy.
- Ordinal_analysis wikiPageWikiLink Hyperarithmetical_theory.
- Ordinal_analysis wikiPageWikiLink Intuitionistic_type_theory.
- Ordinal_analysis wikiPageWikiLink Jensen_hierarchy.
- Ordinal_analysis wikiPageWikiLink Kleenes_O.
- Ordinal_analysis wikiPageWikiLink Kripke-Platek_set_theory.
- Ordinal_analysis wikiPageWikiLink Kripke–Platek_set_theory.
- Ordinal_analysis wikiPageWikiLink Large_cardinal.
- Ordinal_analysis wikiPageWikiLink Large_cardinal_property.
- Ordinal_analysis wikiPageWikiLink Large_countable_ordinal.
- Ordinal_analysis wikiPageWikiLink Large_countable_ordinals.
- Ordinal_analysis wikiPageWikiLink Mahlo_cardinal.
- Ordinal_analysis wikiPageWikiLink Martin-Löf_type_theory.
- Ordinal_analysis wikiPageWikiLink Ordinal_notation.
- Ordinal_analysis wikiPageWikiLink Ordinal_number.
- Ordinal_analysis wikiPageWikiLink Peano_arithmetic.
- Ordinal_analysis wikiPageWikiLink Peano_axioms.
- Ordinal_analysis wikiPageWikiLink Primitive_recursive_arithmetic.
- Ordinal_analysis wikiPageWikiLink Proof_theory.
- Ordinal_analysis wikiPageWikiLink Psi0(Omega_omega).
- Ordinal_analysis wikiPageWikiLink Reverse_mathematics.
- Ordinal_analysis wikiPageWikiLink Rudimentary_function.
- Ordinal_analysis wikiPageWikiLink Second-order_arithmetic.
- Ordinal_analysis wikiPageWikiLink Second_order_arithmetic.
- Ordinal_analysis wikiPageWikiLink Solomon_Feferman.
- Ordinal_analysis wikiPageWikiLink Transfinite_induction.
- Ordinal_analysis wikiPageWikiLink Weak_Kxc3xb6nigs_lemma.
- Ordinal_analysis wikiPageWikiLink Well-founded_relation.
- Ordinal_analysis wikiPageWikiLink Well-order.
- Ordinal_analysis wikiPageWikiLink Ψ₀(Ωω).
- Ordinal_analysis wikiPageWikiLinkText "Ordinal analysis".
- Ordinal_analysis wikiPageWikiLinkText "ordinal analysis".
- Ordinal_analysis wikiPageWikiLinkText "ordinal proof theory".
- Ordinal_analysis wikiPageWikiLinkText "proof theoretic ordinal".
- Ordinal_analysis wikiPageWikiLinkText "proof-theoretic ordinal".
- Ordinal_analysis wikiPageWikiLinkText "strength".
- Ordinal_analysis b "0".
- Ordinal_analysis hasPhotoCollection Ordinal_analysis.
- Ordinal_analysis p "*".
- Ordinal_analysis wikiPageUsesTemplate Template:Asof.
- Ordinal_analysis wikiPageUsesTemplate Template:Citation.
- Ordinal_analysis wikiPageUsesTemplate Template:Harvtxt.
- Ordinal_analysis wikiPageUsesTemplate Template:Su.
- Ordinal_analysis subject Category:Ordinal_numbers.
- Ordinal_analysis subject Category:Proof_theory.
- Ordinal_analysis type Article.
- Ordinal_analysis type Article.
- Ordinal_analysis type Proof.
- 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 wasDerivedFrom Ordinal_analysis?oldid=648058414.
- Ordinal_analysis isPrimaryTopicOf Ordinal_analysis.