Saturated Model

	Saturated Model In mathematical logic, and particularly in its subfield model theory, a saturated model ''M'' 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 \aleph_1-saturated, meaning that every descending nested sequence of internal sets has a nonempty intersection. Definition Let ''κ'' be a finite or infinite cardinal number and ''M'' a model in some first-order language. Then ''M'' is called ''κ''-saturated if for all subsets ''A'' ⊆ ''M'' of cardinality less than ''κ'', the model ''M'' realizes all complete types over ''A''. The model ''M'' is called saturated if it is , ''M'', -saturated where , ''M'', denotes the cardinality of ''M''. That is, it realizes all complete types over sets of parameters of size less than , ''M'', . According to some authors, a model ''M'' is called countably saturated if it is \aleph_1-saturated; that is, it realizes all complete types over coun ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] [Amazon]
	Mathematical Logic Mathematical logic is the study of Logic#Formal logic, formal logic within mathematics. Major subareas include model theory, proof theory, set theory, and recursion theory (also known as computability theory). Research in mathematical logic commonly addresses the mathematical properties of formal systems of logic such as their expressive or deductive power. However, it can also include uses of logic to characterize correct mathematical reasoning or to establish foundations of mathematics. Since its inception, mathematical logic has both contributed to and been motivated by the study of foundations of mathematics. This study began in the late 19th century with the development of axiomatic frameworks for geometry, arithmetic, and Mathematical analysis, analysis. In the early 20th century it was shaped by David Hilbert's Hilbert's program, program to prove the consistency of foundational theories. Results of Kurt Gödel, Gerhard Gentzen, and others provided partial resolution to th ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] [Amazon]
	Dense Linear Order In mathematics, a partial order or total order < on a set $X$ is said to be dense if, for all $x$ and $y$ in $X$ for which $x < y$ , there is a $z$ in $X$ such that $x < z < y$ . That is, for any two elements, one less than the other, there is another element between them. For total orders this can be simplified to "for any two distinct elements, there is another element between them", since all elements of a total order are comparable. Example The rational number s as a linearly ordered set are a densely ordered set in this sense, ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] [Amazon]

Example