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)
“There are very many characteristics which go into making a model civil servant. Prominent among them are probity, industry, good sense, good habits, good temper, patience, order, courtesy, tact, self-reliance, many deference to superior officers, and many consideration for inferiors.”
—Chester A. Arthur (1829–1886)