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)
“It has to be acknowledged that in capitalist society, with its herds of hippies, originality has become a sort of fringe benefit, a mere convention, accepted obsolescence, the Beatnik model being turned in for the Hippie model, as though strangely obedient to capitalist laws of marketing.”
—Mary McCarthy (1912–1989)