Matches in DBpedia 2015-10 for { <http://dbpedia.org/resource/Bachmann–Howard_ordinal> ?p ?o }
Showing triples 1 to 40 of
40
with 100 triples per page.
- Bachmann–Howard_ordinal abstract "In mathematics, the Bachmann–Howard ordinal (or Howard ordinal) is a large countable ordinal.It is the proof theoretic ordinal of several mathematical theories, such as Kripke–Platek set theory (with the axiom of infinity) and the system CZF of constructive set theory.It was introduced by Heinz Bachmann (1950) and William Alvin Howard (1972).".
- Bachmann–Howard_ordinal wikiPageExternalLink rathjen4.pdf.
- Bachmann–Howard_ordinal wikiPageID "12732453".
- Bachmann–Howard_ordinal wikiPageLength "2529".
- Bachmann–Howard_ordinal wikiPageOutDegree "11".
- Bachmann–Howard_ordinal wikiPageRevisionID "680486245".
- Bachmann–Howard_ordinal wikiPageWikiLink Axiom_of_infinity.
- Bachmann–Howard_ordinal wikiPageWikiLink Category:Ordinal_numbers.
- Bachmann–Howard_ordinal wikiPageWikiLink Category:Proof_theory.
- Bachmann–Howard_ordinal wikiPageWikiLink Constructive_set_theory.
- Bachmann–Howard_ordinal wikiPageWikiLink Epsilon_numbers_(mathematics).
- Bachmann–Howard_ordinal wikiPageWikiLink First_uncountable_ordinal.
- Bachmann–Howard_ordinal wikiPageWikiLink Kripke–Platek_set_theory.
- Bachmann–Howard_ordinal wikiPageWikiLink Large_countable_ordinal.
- Bachmann–Howard_ordinal wikiPageWikiLink Ordinal_analysis.
- Bachmann–Howard_ordinal wikiPageWikiLink Ordinal_collapsing_function.
- Bachmann–Howard_ordinal wikiPageWikiLink Veblen_function.
- Bachmann–Howard_ordinal wikiPageWikiLinkText "Bachmann–Howard ordinal".
- Bachmann–Howard_ordinal authorlink "Heinz Bachmann".
- Bachmann–Howard_ordinal authorlink "William Alvin Howard".
- Bachmann–Howard_ordinal first "Heinz".
- Bachmann–Howard_ordinal first "William Alvin".
- Bachmann–Howard_ordinal hasPhotoCollection Bachmann–Howard_ordinal.
- Bachmann–Howard_ordinal last "Bachmann".
- Bachmann–Howard_ordinal last "Howard".
- Bachmann–Howard_ordinal wikiPageUsesTemplate Template:Citation.
- Bachmann–Howard_ordinal wikiPageUsesTemplate Template:Cite_web.
- Bachmann–Howard_ordinal wikiPageUsesTemplate Template:Countable_ordinals.
- Bachmann–Howard_ordinal wikiPageUsesTemplate Template:Harvs.
- Bachmann–Howard_ordinal year "1950".
- Bachmann–Howard_ordinal year "1972".
- Bachmann–Howard_ordinal subject Category:Ordinal_numbers.
- Bachmann–Howard_ordinal subject Category:Proof_theory.
- Bachmann–Howard_ordinal comment "In mathematics, the Bachmann–Howard ordinal (or Howard ordinal) is a large countable ordinal.It is the proof theoretic ordinal of several mathematical theories, such as Kripke–Platek set theory (with the axiom of infinity) and the system CZF of constructive set theory.It was introduced by Heinz Bachmann (1950) and William Alvin Howard (1972).".
- Bachmann–Howard_ordinal label "Bachmann–Howard ordinal".
- Bachmann–Howard_ordinal sameAs m.03qcf7d.
- Bachmann–Howard_ordinal sameAs Q4838892.
- Bachmann–Howard_ordinal sameAs Q4838892.
- Bachmann–Howard_ordinal wasDerivedFrom Bachmann–Howard_ordinal?oldid=680486245.
- Bachmann–Howard_ordinal isPrimaryTopicOf Bachmann–Howard_ordinal.