ultrapower

logic

Learn about this topic in these articles:

In metalogic: Elementary logic
…(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 = a for each i). The intuitive idea in this method is…
Read More
In 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