Théorème de Łoś
- Natural & Formal Sciences -
Mathematics & Logic Dictionary
Définition
Le théorème de transfert affirmant qu'une formule du premier ordre est vraie dans un ultraproduit (ou ultrapouvoir) si et seulement si l'ensemble des indices où la formule est vraie dans les facteurs appartient à l'ultrafiltre choisi.