About: Grzegorczyk hierarchy

An Entity of Type: Thing, from Named Graph: http://dbpedia.org, within Data Space: dbpedia.org

Hierarchy of primitive recursive functions used in computability theory

Property	Value
dbo:description	Jerarquia de funcions (ca) hierarchy of primitive recursive functions used in computability theory (en)
dbo:wikiPageExternalLink	http://matwbn.icm.edu.pl/ksiazki/rm/rm04/rm0401.pdf
dbo:wikiPageWikiLink	dbr:Primitive_recursive_function dbr:Oxford_University_Press dbc:Computability_theory dbr:Function_composition dbr:Transfinite_number dbr:Function_(mathematics) dbr:Iterated_function dbr:Closure_(mathematics) dbr:Ordinal_number dbr:Tetration dbr:Computability_theory dbr:Fast-growing_hierarchy dbr:Partition_of_a_set dbr:Martin_Löb dbr:Successor_function dbc:Hierarchy_of_functions dbr:Ordinal_analysis dbr:Natural_number dbr:Limit_ordinal dbr:Andrzej_Grzegorczyk dbr:Journal_of_Symbolic_Logic dbr:ELEMENTARY dbr:Epsilon_numbers_(mathematics) dbr:Kleene_normal_form_theorem dbr:Löb–Wainer_hierarchy dbr:Hyper_operation dbr:Projection_function dbr:Stan_S._Wainer
dbp:wikiPageUsesTemplate	dbt:Cite_book dbt:Main dbt:Reflist dbt:Math dbt:Cite_journal dbt:Sfn dbt:IPAc-en dbt:ComplexityClasses dbt:Hyperoperations dbt:IPA dbt:Large_numbers dbt:Harvtxt dbt:Sans-serif dbt:Cite_CiteSeerX dbt:Short_description
dct:subject	dbc:Computability_theory dbc:Hierarchy_of_functions
gold:hypernym	dbr:Hierarchy
rdfs:label	Grzegorczyk hierarchy (en) Jerarquia de Grzegorczyk (ca) Hiérarchie de Grzegorczyk (fr) グジェゴルチク階層 (ja) Hierarquia de Grzegorczyk (pt)
owl:sameAs	freebase:Grzegorczyk hierarchy wikidata:Grzegorczyk hierarchy dbpedia-fr:Grzegorczyk hierarchy dbpedia-ja:Grzegorczyk hierarchy dbpedia-pt:Grzegorczyk hierarchy dbpedia-ca:Grzegorczyk hierarchy dbpedia-global:Grzegorczyk hierarchy
prov:wasDerivedFrom	wikipedia-en:Grzegorczyk_hierarchy?oldid=1240705182&ns=0
foaf:isPrimaryTopicOf	wikipedia-en:Grzegorczyk_hierarchy
is dbo:knownFor of	dbr:Andrzej_Grzegorczyk
is dbo:wikiPageWikiLink of	dbr:Hyperoperation dbr:Primitive_recursive_function dbr:Szemerédi_regularity_lemma dbr:Fast-growing_hierarchy dbr:Successor_function dbr:Hardy_hierarchy dbr:Ordinal_analysis dbr:Van_der_Waerden_number dbr:Simply_typed_lambda_calculus dbr:Timeline_of_Polish_science_and_technology dbr:Andrzej_Grzegorczyk dbr:Constructive_set_theory dbr:ELEMENTARY
is dbp:knownFor of	dbr:Andrzej_Grzegorczyk
is foaf:primaryTopic of	wikipedia-en:Grzegorczyk_hierarchy