About: Saturated model

Facets (new session)
Description
Metadata
Settings
- Rule:
- Inverse Functional Properties:
- "Same As":

About: Saturated model Goto Sponge NotDistinct Permalink

An Entity of Type : owl:Thing, within Data Space : dbpedia.demo.openlinksw.com associated with source document(s)
QRcode icon

http://dbpedia.demo.openlinksw.com/describe/?url=http%3A%2F%2Fdbpedia.org%2Fresource%2FSaturated_model&invfp=IFP_OFF&sas=SAME_AS_OFF

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.

Attributes	Values
rdfs:label	Saturiertheit (Modelltheorie) (de) Saturated model (en) 飽和模型 (zh)
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)
dcterms:subject	Nonstandard analysis Mathematical logic Model theory
Wikipage page ID	535836 (xsd:integer)
Wikipage revision ID	1065883798 (xsd:integer)
Link from a Wikipage to another Wikipage	Model theory Homogeneous model Internal set Mathematical logic Chen Chung Chang Elementary embedding Nonstandard analysis Strongly inaccessible Transcendental number Eta set Field (mathematics) Finite set Cardinal number Cardinality First-order language Prime model Back-and-forth method Mathematical logic Model theory ZFC H. Jerome Keisler Infinity Categorical theory Rational number Real number Type (model theory) Dense linear order Stable theory Elementary extension Hyperreals Countable random graph Aleph-1 Ultrapower
sameAs	Saturated model Saturated model Saturated model Saturated model Saturated model
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
has 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)
prov:wasDerivedFrom	wikipedia-en:Saturated_model?oldid=1065883798&ns=0
page length (characters) of wiki page	7826 (xsd:nonNegativeInteger)
foaf:isPrimaryTopicOf	wikipedia-en:Saturated_model
is Link from a Wikipage to another Wikipage of	List of first-order theories Model theory Morley rank Omega-categorical theory Institutional model theory List of mathematical logic topics Potential isomorphism O-saturated Rado graph Log-linear analysis Nonstandard analysis Prime model Hyperreal number Pneumatic cylinder Cantor's isomorphism theorem Real closed field Saturation Type (model theory) Saturated structure Η set Vaught conjecture Ω-saturated
is Wikipage redirect of	O-saturated Saturated structure Ω-saturated
is foaf:primaryTopic of	wikipedia-en:Saturated_model

Faceted Search & Find service v1.17_git139 as of Feb 29 2024

Alternative Linked Data Documents: ODE Content Formats:

RDF

ODATA

Microdata

About

OpenLink Virtuoso version 08.03.3330 as of Mar 19 2024, on Linux (x86_64-generic-linux-glibc212), Single-Server Edition (378 GB total memory, 58 GB memory in use)
Data on this page belongs to its respective rights holders.
Virtuoso Faceted Browser Copyright © 2009-2024 OpenLink Software