Inner model theory (original) (raw)
In set theory, inner model theory is the study of certain models of ZFC or some fragment or strengthening thereof. Ordinarily these models are transitive subsets or subclasses of the von Neumann universe V, or sometimes of a generic extension of V. Inner model theory studies the relationships of these models to determinacy, large cardinals, and descriptive set theory. Despite the name, it is considered more a branch of set theory than of model theory.
| Property | Value |
|---|---|
| dbo:abstract | In set theory, inner model theory is the study of certain models of ZFC or some fragment or strengthening thereof. Ordinarily these models are transitive subsets or subclasses of the von Neumann universe V, or sometimes of a generic extension of V. Inner model theory studies the relationships of these models to determinacy, large cardinals, and descriptive set theory. Despite the name, it is considered more a branch of set theory than of model theory. (en) Dalam teori himpunan, teori merupakan studi mengenai model tertentu atau suatu bagian atau penguatan darinya. Biasanya model-model ini adalah himpunan bagian atau dari , atau terkadang . Teori model dalam mempelajari hubungan model-model ini dengan , kardinal besar, dan . Meskipun nama, ini dianggap lebih banyak cabang teori himpunan mengenai teori model. (in) |
| dbo:wikiPageID | 3796621 (xsd:integer) |
| dbo:wikiPageLength | 2778 (xsd:nonNegativeInteger) |
| dbo:wikiPageRevisionID | 965705831 (xsd:integer) |
| dbo:wikiPageWikiLink | dbr:Model_theory dbr:Determinacy dbr:Descriptive_set_theory dbr:Inner_model dbr:L(R) dbr:Consistent dbr:Constructible_universe dbr:Class_(set_theory) dbr:Generalized_continuum_hypothesis dbr:Core_model dbr:Subclass_(set_theory) dbr:Large_cardinal dbr:Large_cardinal_axiom dbr:ZFC dbr:Zero_dagger dbr:Transitive_set dbr:Diamond_principle dbr:Axiom_of_constructibility dbr:Kurt_Gödel dbc:Inner_model_theory dbr:Set_Theory dbr:Set_theory dbr:Generic_extension dbr:Von_Neumann_universe dbr:Subset dbr:Springer-Verlag dbr:Ordinal_definable dbr:Consistency_strength dbr:Solovay's_theorem |
| dbp:wikiPageUsesTemplate | dbt:Citation |
| dct:subject | dbc:Inner_model_theory |
| gold:hypernym | dbr:Study |
| rdf:type | dbo:Book |
| rdfs:comment | In set theory, inner model theory is the study of certain models of ZFC or some fragment or strengthening thereof. Ordinarily these models are transitive subsets or subclasses of the von Neumann universe V, or sometimes of a generic extension of V. Inner model theory studies the relationships of these models to determinacy, large cardinals, and descriptive set theory. Despite the name, it is considered more a branch of set theory than of model theory. (en) Dalam teori himpunan, teori merupakan studi mengenai model tertentu atau suatu bagian atau penguatan darinya. Biasanya model-model ini adalah himpunan bagian atau dari , atau terkadang . Teori model dalam mempelajari hubungan model-model ini dengan , kardinal besar, dan . Meskipun nama, ini dianggap lebih banyak cabang teori himpunan mengenai teori model. (in) |
| rdfs:label | Inner model theory (en) Teori model dalam (in) |
| owl:sameAs | freebase:Inner model theory wikidata:Inner model theory dbpedia-id:Inner model theory https://global.dbpedia.org/id/4n6e2 |
| prov:wasDerivedFrom | wikipedia-en:Inner_model_theory?oldid=965705831&ns=0 |
| foaf:isPrimaryTopicOf | wikipedia-en:Inner_model_theory |
| is dbo:wikiPageWikiLink of | dbr:John_von_Neumann dbr:Inner_model dbr:List_of_set_theory_topics dbr:Supercompact_cardinal dbr:Axiom_of_constructibility dbr:Azriel_Lévy dbr:Singular_cardinals_hypothesis |
| is foaf:primaryTopic of | wikipedia-en:Inner_model_theory |