Saturated model Guide, Meaning , Facts, Information and Description

In mathematical logic, and in particular model theory, a model is -saturated if and only if it realizes all elements

, for

with .

A model is saturated if and only if it is -saturated, that is, it realizes all complete types over sets of parameters of size less than .

Saturated models exist: for instance, is saturated, the countable random graph is saturated. The natural numbers are not saturated: the type containing

is not realized in .

This is an Article on Saturated model. Page Contains Information, Facts Details or Explanation Guide About Saturated model

	Web www.E-paranoids.com