About: Theories of iterated inductive definitions

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

unknown

Property	Value
dbo:wikiPageExternalLink	https://gist.github.com/AndrasKovacs/8d445c8457ea0967e807c726b2ce5a3a https://www.sciencedirect.com/science/article/abs/pii/S0049237X08707699 https://www.sciencedirect.com/science/article/abs/pii/S0049237X08708474 https://www.springer.com/gp/book/9783540111702 http://citeseerx.ist.psu.edu/viewdoc/download%3Fdoi=10.1.1.573.420&rep=rep1&type=pdf
dbo:wikiPageWikiLink	dbr:Peano_axioms dbc:Proof_theory dbc:Set_theory dbr:Set_theory dbc:Ordinal_numbers dbc:Mathematical_logic dbr:Mathematical_logic dbr:Second-order_arithmetic dbr:Bachmann–Howard_ordinal dbr:Takeuti–Feferman–Buchholz_ordinal dbr:Nlab:iterated+inductive+definitions dbr:Nlab:ordinal+analysis
dbp:wikiPageUsesTemplate	dbt:Reflist dbt:Multiple_issues dbt:Countable_ordinals dbt:Technical dbt:More_footnotes
dct:subject	dbc:Proof_theory dbc:Set_theory dbc:Ordinal_numbers dbc:Mathematical_logic
rdfs:label	Theories of iterated inductive definitions (en)
owl:sameAs	wikidata:Theories of iterated inductive definitions dbpedia-global:Theories of iterated inductive definitions
prov:wasDerivedFrom	wikipedia-en:Theories_of_iterated_inductive_definitions?oldid=1262006860&ns=0
foaf:isPrimaryTopicOf	wikipedia-en:Theories_of_iterated_inductive_definitions
is dbo:wikiPageRedirects of	dbr:Buchholz's_ID_hierarchy
is dbo:wikiPageWikiLink of	dbr:Buchholz's_ID_hierarchy
is foaf:primaryTopic of	wikipedia-en:Theories_of_iterated_inductive_definitions

This content was extracted from Wikipedia and is licensed under the Creative Commons Attribution-ShareAlike 4.0 International