About: Lévy hierarchy

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

Hierarchien von Formeln in der Mengenlehre

Property	Value
dbo:description	Hierarchien von Formeln in der Mengenlehre (de) Hierarchien von Formeln in der Mengenlehre (de)
dbo:wikiPageExternalLink	https://archive.org/details/constructibility00devl_407 https://archive.org/details/constructibility00devl_407/page/n40
dbo:wikiPageWikiLink	dbr:Constructible_universe dbr:Ordinal_addition dbr:Limit_cardinal dbr:Countable_set dbr:Quantifier_(logic) dbc:Set_theory dbr:Set_theory dbr:Cardinal_number dbr:Supercompact_cardinal dbr:Azriel_Lévy dbr:Atomic_formula dbr:Measurable_cardinal dbr:Axiom_of_constructibility dbr:Formal_language dbr:Ordinal_number dbr:Zermelo–Fraenkel_set_theory dbr:Inaccessible_cardinal dbr:Transitive_closure dbr:Extendible_cardinal dbr:Arithmetical_hierarchy dbr:Transitive_set dbr:Regular_cardinal dbr:Successor_ordinal dbc:Mathematical_logic dbc:Mathematical_logic_hierarchies dbr:Cartesian_product dbr:Huge_cardinal dbr:Von_Neumann_universe dbr:Equality_(mathematics) dbr:Continuum_hypothesis dbr:Well-founded_relation dbr:Mathematical_logic dbr:Prenex_normal_form dbr:Limit_ordinal dbr:ZFC dbr:Springer-Verlag dbr:Absoluteness dbr:Peano_arithmetic dbr:Powerset dbr:Set_membership dbr:Arithmetic_hierarchy dbr:Countable_ordinal
dbp:wikiPageUsesTemplate	dbt:Cite_book dbt:Reflist dbt:Cite_journal dbt:Citation_needed
dct:subject	dbc:Set_theory dbc:Mathematical_logic dbc:Mathematical_logic_hierarchies
gold:hypernym	dbr:Hierarchy
rdfs:label	Lévy hierarchy (en) Levy-Hierarchie (de)
owl:sameAs	freebase:Lévy hierarchy wikidata:Lévy hierarchy dbpedia-de:Lévy hierarchy dbpedia-global:Lévy hierarchy dbr:Lévy hierarchy
prov:wasDerivedFrom	wikipedia-en:Lévy_hierarchy?oldid=1294021665&ns=0
foaf:isPrimaryTopicOf	wikipedia-en:Lévy_hierarchy
is dbo:knownFor of	dbr:Azriel_Lévy
is dbo:wikiPageRedirects of	dbr:Levy_hierarchy
is dbo:wikiPageWikiLink of	dbr:Azriel_Lévy dbr:Analytical_hierarchy dbr:Extendible_cardinal dbr:Arithmetical_hierarchy dbr:Glossary_of_set_theory dbr:Kripke–Platek_set_theory dbr:Jensen_hierarchy dbr:Bounded_quantifier dbr:Condensation_lemma dbr:Constructive_set_theory dbr:Shrewd_cardinal dbr:Axiom_schema_of_predicative_separation dbr:Absoluteness dbr:Levy_hierarchy
is foaf:primaryTopic of	wikipedia-en:Lévy_hierarchy