ultraproduct

References

ultraproduct

logic

Written by

The Information Architects of Encyclopaedia Britannica

Learn about this topic in these articles:

metalogic
Elementary logic
…special combination called the “ultraproduct” of a family of structures (see below Ultrafilters, ultraproducts, and ultrapowers)—in particular, the ultrapower when the structures are all copies of the same structure (just as the product of a₁, . . ., a_n is the same as the power aⁿ, if a_i =…
Read More
…special combination called the “ultraproduct” of a family of structures (see below Ultrafilters, ultraproducts, and ultrapowers)—in particular, the ultrapower when the structures are all copies of the same structure (just as the product of a₁, . . ., a_n is the same as the power aⁿ, if a_i =…
Read More
metalogic
Ultrafilters, ultraproducts, and ultrapowers
) An ultrafilter on a nonempty set I is defined as a set D of subsets of I such that
Read More
) An ultrafilter on a nonempty set I is defined as a set D of subsets of I such that
Read More