Research any topic before you write.
Find related topics. | Discover entities. | See connections. | Build a topical map.
Saturated model: Art, Measurement & Products
In mathematical logic, and particularly in its subfield model theory, a saturated model is one that realizes as many complete types as may be "reasonably expected" given its size. For example, an ultrapower model of the hyperreals is ℵ 1 {\displaystyle \aleph _{1}} -saturated, meaning that every descending nested sequence of internal sets has a nonempty…
Language: English [EN]
