Editing Saturated model (section)

{{Short description|Model for mathematical theories}}
{{about|the use in mathematics|the use in statistics|structural equation modeling}}
{{No footnotes|date=January 2010}}

In [[mathematical logic]], and particularly in its subfield [[model theory]], a '''saturated model''' ''M'' is one that realizes as many [[Type (model theory)|complete type]]s as may be "reasonably expected" given its size.  For example, an [[ultrapower]] model of the [[hyperreals]] is <math>\aleph_1</math>-saturated, meaning that every descending nested sequence of [[internal set]]s has a nonempty intersection.<ref>[[Robert Goldblatt|Goldblatt]] 1998</ref>