| 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
| |
| dbo:wikiPageLength
|
- 2778 (xsd:nonNegativeInteger)
|
| dbo:wikiPageRevisionID
| |
| dbo:wikiPageWikiLink
| |
| dbp:wikiPageUsesTemplate
| |
| dcterms:subject
| |
| gold:hypernym
| |
| rdf:type
| |
| 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
| |
| prov:wasDerivedFrom
| |
| foaf:isPrimaryTopicOf
| |
| is dbo:wikiPageWikiLink
of | |
| is foaf:primaryTopic
of | |
