About: Inner model

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

In set theory, a transitive model containing all ordinals

Property	Value
dbo:description	je aroteorio, transitiva model enhavanta ĉiujn ordonombrojn (eo) in set theory, a transitive model containing all ordinals (en)
dbo:wikiPageWikiLink	dbr:Constructible_universe dbr:Interpretation_(model_theory) dbr:Model_(mathematical_logic) dbr:Consistency dbr:Set_theory dbc:Inner_model_theory dbr:Measurable_cardinal dbr:Ordinal_number dbr:Inner_model_theory dbr:Forcing_(mathematics) dbr:Kripke–Platek_set_theory dbr:Axiom_of_foundation dbr:Well-founded_set dbr:Mathematical_logic dbr:Minimal_model_(set_theory) dbr:Substructure_(mathematics) dbr:ZFC dbr:Theory_(mathematical_logic) dbr:Mostowski_collapse dbr:Generalized_Continuum_Hypothesis dbr:Zermelo–Frankel_set_theory dbr:Consistency_strength dbr:Gödel dbr:Gödel_completeness_theorem dbr:Subtheories dbr:Transitive_class
dbp:wikiPageUsesTemplate	dbt:Reflist dbt:About
dct:subject	dbc:Inner_model_theory
rdfs:label	Inner model (en) 內模型 (zh)
owl:sameAs	freebase:Inner model wikidata:Inner model dbpedia-zh:Inner model dbpedia-global:Inner model dbr:Inner model
prov:wasDerivedFrom	wikipedia-en:Inner_model?oldid=1220449150&ns=0
foaf:isPrimaryTopicOf	wikipedia-en:Inner_model
is dbo:wikiPageRedirects of	dbr:Standard_model_(set_theory) dbr:Set_model
is dbo:wikiPageWikiLink of	dbr:Constructible_universe dbr:Woodin_cardinal dbr:Group_structure_and_the_axiom_of_choice dbr:Countable_set dbr:Universe_(mathematics) dbr:Suslin's_problem dbr:Supercompact_cardinal dbr:Gödel's_incompleteness_theorems dbr:W._Hugh_Woodin dbr:Core_model dbr:Covering_lemma dbr:Zermelo–Fraenkel_set_theory dbr:Inaccessible_cardinal dbr:Semiring dbr:Determinacy dbr:Extender_(set_theory) dbr:Inner_model_theory dbr:Transitive_set dbr:Standard_model_(disambiguation) dbr:Mahlo_cardinal dbr:Huge_cardinal dbr:Glossary_of_set_theory dbr:Transitive_model dbr:Standard_model_(set_theory) dbr:John_von_Neumann dbr:Continuum_hypothesis dbr:Minimal_model_(set_theory) dbr:Unfoldable_cardinal dbr:Proper_forcing_axiom dbr:John_R._Steel dbr:Strong_cardinal dbr:Admissible_ordinal dbr:L(R) dbr:Ordinal_definable_set dbr:Critical_point_(set_theory) dbr:Axiom_of_choice dbr:Kenneth_Kunen dbr:Ground_axiom dbr:List_of_set_theory_topics dbr:Solovay_model dbr:Axiom_of_real_determinacy dbr:The_Higher_Infinite dbr:Itay_Neeman dbr:Chang's_model dbr:Set_model
is foaf:primaryTopic of	wikipedia-en:Inner_model