In mathematical logic, and particularly in its subfield model theory, a saturated model M is one which 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, see Goldblatt (1998).
Read more about Saturated Model: Definition, Motivation, Examples, Relationship To Prime Models
Famous quotes containing the words saturated and/or model:
“The day-laborer is reckoned as standing at the foot of the social scale, yet he is saturated with the laws of the world. His measures are the hours; morning and night, solstice and equinox, geometry, astronomy, and all the lovely accidents of nature play through his mind.”
—Ralph Waldo Emerson (1803–1882)
“AIDS occupies such a large part in our awareness because of what it has been taken to represent. It seems the very model of all the catastrophes privileged populations feel await them.”
—Susan Sontag (b. 1933)