About: Ordinal notation

An Entity of Type: Thing, from Named Graph: http://dbpedia.org, within Data Space: dbpedia-live.demo.openlinksw.com

Type of mathematical function

Property	Value
dbo:description	type of mathematical function (en)
dbo:wikiPageExternalLink	http://www.cs.fsu.edu/~levitz/ords.ps https://archive.org/details/prooftheoryintro0000pohl
dbo:wikiPageWikiLink	dbr:Ordinal_arithmetic dbc:Mathematical_notation dbr:Georg_Cantor dbr:Wilhelm_Ackermann dbr:Oswald_Veblen dbr:PostScript dbr:Range_of_a_function dbc:Proof_theory dbr:Set_theory dbr:Gaisi_Takeuti dbr:Kurt_Schütte dbr:Computable_function dbc:Ordinal_numbers dbr:Ordinal_number dbr:Arity dbr:Solomon_Feferman dbr:Ackermann_ordinal dbr:Stephen_Cole_Kleene dbr:Mathematical_logic dbr:Feferman–Schütte_ordinal dbr:Kleene's_O dbr:Ordinal_analysis dbr:Gödel_numbering dbr:Natural_number dbr:First_uncountable_ordinal dbr:Nonrecursive_ordinal dbr:Small_Veblen_ordinal dbr:Large_Veblen_ordinal dbr:Bachmann–Howard_ordinal dbr:Heinz_Bachmann dbr:Takeuti–Feferman–Buchholz_ordinal dbr:Church–Kleene_ordinal dbr:Recursive_set dbr:Epsilon_numbers_(mathematics) dbr:Veblen_ordinal_(disambiguation) dbr:Transfinite_recursion dbr:Recursively_enumerable_set dbr:Feferman-Schutte_ordinal dbr:Large_countable_ordinals
dbp:wikiPageUsesTemplate	dbt:Main dbt:Reflist dbt:Arxiv dbt:Citation dbt:Harv dbt:Harvtxt dbt:Short_description
dct:subject	dbc:Mathematical_notation dbc:Proof_theory dbc:Ordinal_numbers
gold:hypernym	dbr:Function
rdfs:label	Ordinal notation (en)
owl:sameAs	freebase:Ordinal notation yago-res:Ordinal notation wikidata:Ordinal notation dbpedia-global:Ordinal notation dbr:Ordinal notation
prov:wasDerivedFrom	wikipedia-en:Ordinal_notation?oldid=1258619034&ns=0
foaf:isPrimaryTopicOf	wikipedia-en:Ordinal_notation
is dbo:wikiPageRedirects of	dbr:Ordinal_diagram dbr:Ordinal_diagrams dbr:Ordinal_notations dbr:Buchholz's_notation dbr:Feferman's_function
is dbo:wikiPageWikiLink of	dbr:Ordinal_arithmetic dbr:Wilhelm_Ackermann dbr:Gaisi_Takeuti dbr:History_of_mathematical_notation dbr:Psi_(Greek) dbr:Large_countable_ordinal dbr:Kleene's_O dbr:Ordinal_analysis dbr:Ordinal_collapsing_function dbr:Limit_ordinal dbr:Computable_ordinal dbr:Buchholz_psi_functions dbr:Notation dbr:Gentzen's_consistency_proof dbr:Hyperarithmetical_theory dbr:Ordinal_diagram dbr:Ordinal_diagrams dbr:Ordinal_notations dbr:Buchholz's_notation dbr:Feferman's_function
is foaf:primaryTopic of	wikipedia-en:Ordinal_notation