ultraproduct

Łoś's theorem describes what sentences are true in an ultraproduct.

First-order Model Theory Hodges, Wilfrid 2009

If C is a power of A then this ultraproduct is called an ultrapower of A, and it is sometimes written U-prod A.

First-order Model Theory Hodges, Wilfrid 2009

This is indeed an equivalence relation on the domain of C, and the resulting reduced product is called an ultraproduct of the factors of

First-order Model Theory Hodges, Wilfrid 2009

We refer the reader to the entry on first-order model theory for the notions of direct product (called product there) and ultraproduct.

Propositional Consequence Relations and Algebraic Logic Jansana, Ramon 2006

As an example, the notions of quotient, direct product, ultraproduct are defined and examined.

Citizendium, the Citizens' Compendium - Recent changes [en] 2009

As an example, the notions of quotient, direct product, ultraproduct are defined and examined.

Citizendium, the Citizens' Compendium - Recent changes [en] 2009

As an example, the notions of quotient, direct product, ultraproduct are defined and examined.

Citizendium, the Citizens' Compendium - Recent changes [en] 2009