Encyclopedia > U > Ultraproduct
Ultraproduct
An ultraproduct is a mathematical construction, a generalization of the ultrapower, which is used in abstract algebra to construct new fields from given ones, and in model theory, a branch of mathematical logic. In particular, it can be used in a "purely semantic" proof of the compactness theorem of first-order logic.
Information are taken from Wikipedia, the open encyclopedia, to which contribute many volunteers from around the whole world. Texts are available under the following conditions GNU Free Documentation License.
Encyklopedie (cz) Encyklopédia (sk) Enzyklopädie (de)