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)
“If the man who paints only the tree, or flower, or other surface he sees before him were an artist, the king of artists would be the photographer. It is for the artist to do something beyond this: in portrait painting to put on canvas something more than the face the model wears for that one day; to paint the man, in short, as well as his features.”
—James Mcneill Whistler (1834–1903)