Construction D'Ultraproduit

Une construction model-théorique qui forme une nouvelle structure en prenant le produit cartésien d'une famille de structures et en quotientant par un ultrafiltre, utilisée pour transférer des propriétés et produire des modèles de type limite.

Une construction en théorie des modèles qui forme une nouvelle structure à partir d'une famille (A_i)_{i∈I} de structures de même signature et d'un ultrafiltre U sur I en prenant le produit cartésien modulo la relation d'équivalence qui identifie deux suites dès qu'elles coïncident sur un ensemble de U ; les propriétés du premier ordre satisfaites sur un ensemble U-large se transfèrent à l'ul