About: Von Neumann universe

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

In set theory, the collection of sets obtained by transfinite recursion using the powerset operation

Property	Value
dbo:description	concepte de teoria de conjunts (ca) 모든 집합의 모임에 초한 위계를 준 것 (ko) in set theory, the collection of sets obtained by transfinite recursion using the powerset operation (en) la klaso da aroj difinitaj per transfinia rikuro uzante la aron de ĉiuj subaroj (eo) ein stufenweiser Aufbau des gesamten Mengenuniversums mit Hilfe von Ordinalzahlen und der Iteration der Potenzmengenbildung (de) a classe dos conjuntos hereditariamente bem fundados (pt)
dbo:thumbnail	wiki-commons:Special:FilePath/Von_Neumann_Hierarchy.svg?width=300
dbo:wikiPageExternalLink	https://archive.org/details/consequencesofax0000howa%7Curl-access=registration%7Cyear=1998%7Cpublisher=American http://gdz.sub.uni-goettingen.de/dms/load/img/%3FPPN=PPN266833020_0027&DMDID=DMDLOG_0042 http://bbi-math.narod.ru/newmann/newmann.html https://archive.org/details/arithmeticespri00peangoog%7Cpublisher=Fratres https://archive.org/details/consequencesofax0000howa/page/175 https://archive.org/details/settheoryformath0000rubi%7Curl-access=registration%7Clast1=Rubin%7Cfirst1=Jean https://archive.org/details/settheoryintrodu0000kune%7Curl-access=registration%7Cpublisher=Elsevier%7Cisbn=0-444-86839-9
dbo:wikiPageWikiLink	dbr:Transfinite_recursion dbr:Grothendieck_universe dbr:Well-founded_set dbr:Model_(logic) dbr:Mathematics dbr:Model_theory dbr:Ernst_Zermelo dbr:Virginia_Commonwealth_University dbr:John_von_Neumann dbr:Set_theory dbr:Natural_number dbr:Universe_(mathematics) dbr:Zermelo_set_theory dbr:Zermelo–Fraenkel_set_theory dbr:Class_(set_theory) dbr:Axiom_of_regularity dbr:Limit_ordinal dbr:Axiom_of_infinity dbr:Constructible_universe dbr:Gödel's_incompleteness_theorems dbr:Union_(set_theory) dbr:Empty_set dbr:Observable_universe dbr:Power_set dbr:Aczel's_anti-foundation_axiom dbr:Urelement dbr:Ordinal_number dbr:Morse–Kelley_set_theory dbr:Mathematische_Zeitschrift dbr:Transfinite_induction dbr:Hereditarily_finite_set dbr:Inaccessible_cardinal dbr:Knuth's_up-arrow_notation dbc:John_von_Neumann dbr:S_(set_theory) dbr:Hereditary_set dbc:Set-theoretic_universes dbr:Proper_class dbr:Axiom_of_foundation dbr:Axiom_of_replacement dbr:NBG_set_theory dbr:Powerset dbr:Universe_(set_theory) dbr:Set_of_all_sets dbr:Tetrational dbr:File:Von_Neumann_Hierarchy.svg dbr:File:Von_Neumann_universe_4.png
dbp:wikiPageUsesTemplate	dbt:Cite_book dbt:Mathematical_logic dbt:Set_theory dbt:Block_indent dbt:Citation dbt:Cite_journal dbt:Cn dbt:Colend dbt:Div_col dbt:Reflist dbt:Short_description dbt:Space
dct:subject	dbc:John_von_Neumann dbc:Set-theoretic_universes
gold:hypernym	dbr:Sets
rdfs:label	Von Neumann universe (en) Fundované jádro (cs) Von-Neumann-Hierarchie (de) フォン・ノイマン宇宙 (ja) 폰 노이만 전체 (ko) Universo de von Neumann (pt) Универсум фон Неймана (ru) Універсум фон Неймана (uk) 冯·诺伊曼全集 (zh)
owl:sameAs	freebase:Von Neumann universe wikidata:Von Neumann universe dbpedia-de:Von Neumann universe dbpedia-ja:Von Neumann universe dbpedia-pt:Von Neumann universe dbpedia-ru:Von Neumann universe dbpedia-zh:Von Neumann universe dbpedia-ko:Von Neumann universe dbpedia-cs:Von Neumann universe dbpedia-fa:Von Neumann universe dbpedia-uk:Von Neumann universe dbpedia-global:Von Neumann universe
prov:wasDerivedFrom	wikipedia-en:Von_Neumann_universe?oldid=1311940660&ns=0
foaf:depiction	wiki-commons:Special:FilePath/Von_Neumann_universe_4.png wiki-commons:Special:FilePath/Von_Neumann_Hierarchy.svg
foaf:isPrimaryTopicOf	wikipedia-en:Von_Neumann_universe
is dbo:wikiPageDisambiguates of	dbr:Von_Neumann dbr:V_(disambiguation)
is dbo:wikiPageRedirects of	dbr:Rank_(set_theory) dbr:Rank_of_a_set dbr:Hereditary_rank dbr:Iterative_hierarchy dbr:The_cumulative_hierarchy dbr:Von_Neumann_hierarchy dbr:Von_Neumann_universal_set dbr:Von_Neumann_universe_of_sets dbr:Von_neumann_universe
is dbo:wikiPageWikiLink of	dbr:Finitist_set_theory dbr:Surreal_number dbr:Constructive_set_theory dbr:Grothendieck_universe dbr:Axiom_schema_of_predicative_separation dbr:Von_Neumann dbr:Ernst_Zermelo dbr:Beth_number dbr:Rose_tree dbr:Reinhardt_cardinal dbr:John_von_Neumann dbr:Set_theory dbr:Naive_set_theory dbr:Russell's_paradox dbr:Universe_(mathematics) dbr:V_(disambiguation) dbr:Scott–Potter_set_theory dbr:Zermelo_set_theory dbr:Zermelo–Fraenkel_set_theory dbr:Reflection_principle dbr:Lévy_hierarchy dbr:Hereditary_property dbr:Axiom_of_regularity dbr:Inner_model_theory dbr:Axiom_of_infinity dbr:Axiom_of_constructibility dbr:Constructible_universe dbr:Gödel's_incompleteness_theorems dbr:Ordinal_definable_set dbr:Large_cardinal dbr:Woodin_cardinal dbr:Ackermann_set_theory dbr:Forcing_(mathematics) dbr:Axiom_of_limitation_of_size dbr:Aczel's_anti-foundation_axiom dbr:Tree_structure dbr:Definable_real_number dbr:Transitive_set dbr:Extendible_cardinal dbr:L(R) dbr:List_of_scientific_laws_named_after_people dbr:List_of_set_theory_topics dbr:Second-order_logic dbr:Morse–Kelley_set_theory dbr:Core_model dbr:Hereditarily_finite_set dbr:Inaccessible_cardinal dbr:List_of_things_named_after_John_von_Neumann dbr:Richard_Laver dbr:Boolean-valued_model dbr:Critical_point_(set_theory) dbr:List_of_mathematical_logic_topics dbr:Non-well-founded_set_theory dbr:Axiom_of_global_choice dbr:Minimal_model_(set_theory) dbr:S_(set_theory) dbr:Covering_lemma dbr:Hereditary_set dbr:List_of_large_cardinal_properties dbr:Cumulative_hierarchy dbr:Wholeness_axiom dbr:Rank_(set_theory) dbr:Rank_of_a_set dbr:Hereditary_rank dbr:Iterative_hierarchy dbr:The_cumulative_hierarchy dbr:Von_Neumann_hierarchy dbr:Von_Neumann_universal_set dbr:Von_Neumann_universe_of_sets dbr:Von_neumann_universe
is foaf:primaryTopic of	wikipedia-en:Von_Neumann_universe