About: Core model

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

Definable inner model of the universe of all sets

Property	Value
dbo:description	definable inner model of the universe of all sets (en)
dbo:wikiPageExternalLink	https://web.archive.org/web/20110617031749/http:/www.math.ufl.edu/~wjm/papers/ https://www.ams.org/notices/200106/fea-woodin.pdf
dbo:wikiPageWikiLink	dbr:Constructible_universe dbr:Woodin_cardinal dbr:Ultrafilter dbr:Diamond_principle dbr:Set_theory dbc:Inner_model_theory dbr:Set_(mathematics) dbr:Superstrong_cardinal dbr:Measurable_cardinal dbr:W._Hugh_Woodin dbr:Covering_lemma dbr:Extender_(set_theory) dbr:Inner_model dbr:Weakly_compact_cardinal dbr:Square_principle dbc:Large_cardinals dbr:Matthew_Foreman dbr:Kurt_Gödel dbr:Von_Neumann_universe dbr:Akihiro_Kanamori dbr:John_R._Steel dbr:Strong_cardinal dbr:Subcompact_cardinal dbr:Zero_dagger dbr:Zero_sharp dbr:Ronald_Jensen dbr:Large_cardinal dbr:Elementary_embedding dbr:Mouse_(Set_Theory) dbr:Strong_limit_cardinal dbr:Transfinite_recursion dbr:Generalized_Continuum_Hypothesis dbr:Stationary_subset dbr:Wellordering dbr:Solovay dbr:Dodd–Jensen_core_model
dbp:wikiPageUsesTemplate	dbt:More_sources_needed dbt:Reflist dbt:Distinguish dbt:Isbn
dct:subject	dbc:Inner_model_theory dbc:Large_cardinals
gold:hypernym	dbr:Model
rdf:type	owl:Thing
rdfs:label	Core model (en)
owl:differentFrom	dbr:Core_product
owl:sameAs	freebase:Core model yago-res:Core model wikidata:Core model dbpedia-global:Core model dbr:Core model
prov:wasDerivedFrom	wikipedia-en:Core_model?oldid=1250679262&ns=0
foaf:isPrimaryTopicOf	wikipedia-en:Core_model
is dbo:wikiPageRedirects of	dbr:Core_Model dbr:Core_model_program dbr:Inner_model_program
is dbo:wikiPageWikiLink of	dbr:Mouse_(set_theory) dbr:Covering_lemma dbr:Inner_model_theory dbr:Glossary_of_set_theory dbr:List_of_unsolved_problems_in_mathematics dbr:Chang's_conjecture dbr:Ordinal_definable_set dbr:Ω-logic dbr:Ronald_Jensen dbr:List_of_set_theory_topics dbr:Jónsson_cardinal dbr:Core_Model dbr:Core_model_program dbr:Inner_model_program
is foaf:primaryTopic of	wikipedia-en:Core_model