| dbo:abstract |
In der Modelltheorie ist eine Struktur saturiert, wenn in ihr sehr viele Typen realisiert sind. (de) In mathematical logic, and particularly in its subfield model theory, a saturated model M is one that realizes as many complete types as may be "reasonably expected" given its size. For example, an ultrapower model of the hyperreals is -saturated, meaning that every descending nested sequence of internal sets has a nonempty intersection. (en) 在模型論中，飽和模型可以大致描述為一個實現夠小的型的模型。 (zh) |
| dbo:wikiPageID |
535836 (xsd:integer) |
| dbo:wikiPageLength |
7826 (xsd:nonNegativeInteger) |
| dbo:wikiPageRevisionID |
1065883798 (xsd:integer) |
| dbo:wikiPageWikiLink |
dbr:Model_theory dbr:Homogeneous_model dbr:Internal_set dbr:Mathematical_logic dbr:Chen_Chung_Chang dbr:Elementary_embedding dbc:Nonstandard_analysis dbr:Strongly_inaccessible dbr:Transcendental_number dbr:Eta_set dbr:Field_(mathematics) dbr:Finite_set dbr:Cardinal_number dbr:Cardinality dbr:First-order_language dbr:Prime_model dbr:Back-and-forth_method dbc:Mathematical_logic dbc:Model_theory dbr:ZFC dbr:H._Jerome_Keisler dbr:Infinity dbr:Categorical_theory dbr:Rational_number dbr:Real_number dbr:Type_(model_theory) dbr:Dense_linear_order dbr:Stable_theory dbr:Elementary_extension dbr:Hyperreals dbr:Countable_random_graph dbr:Aleph-1 dbr:Ultrapower |
| dbp:wikiPageUsesTemplate |
dbt:= dbt:About dbt:Citation dbt:Citation_needed dbt:No_footnotes dbt:Reflist dbt:Short_description dbt:Technical dbt:Isbn dbt:Mathematical_logic |
| dct:subject |
dbc:Nonstandard_analysis dbc:Mathematical_logic dbc:Model_theory |
| rdfs:comment |
In der Modelltheorie ist eine Struktur saturiert, wenn in ihr sehr viele Typen realisiert sind. (de) In mathematical logic, and particularly in its subfield model theory, a saturated model M is one that realizes as many complete types as may be "reasonably expected" given its size. For example, an ultrapower model of the hyperreals is -saturated, meaning that every descending nested sequence of internal sets has a nonempty intersection. (en) 在模型論中，飽和模型可以大致描述為一個實現夠小的型的模型。 (zh) |
| rdfs:label |
Saturiertheit (Modelltheorie) (de) Saturated model (en) 飽和模型 (zh) |
| owl:sameAs |
freebase:Saturated model wikidata:Saturated model dbpedia-de:Saturated model dbpedia-zh:Saturated model https://global.dbpedia.org/id/UL1X |
| prov:wasDerivedFrom |
wikipedia-en:Saturated_model?oldid=1065883798&ns=0 |
| foaf:isPrimaryTopicOf |
wikipedia-en:Saturated_model |
| is dbo:wikiPageRedirects of |
dbr:O-saturated dbr:Saturated_structure dbr:Ω-saturated |
| is dbo:wikiPageWikiLink of |
dbr:List_of_first-order_theories dbr:Model_theory dbr:Morley_rank dbr:Omega-categorical_theory dbr:Institutional_model_theory dbr:List_of_mathematical_logic_topics dbr:Potential_isomorphism dbr:O-saturated dbr:Rado_graph dbr:Log-linear_analysis dbr:Nonstandard_analysis dbr:Prime_model dbr:Hyperreal_number dbr:Pneumatic_cylinder dbr:Cantor's_isomorphism_theorem dbr:Real_closed_field dbr:Saturation dbr:Type_(model_theory) dbr:Saturated_structure dbr:Η_set dbr:Vaught_conjecture dbr:Ω-saturated |
| is foaf:primaryTopic of |
wikipedia-en:Saturated_model |