ŁOŚ THÉORÈME DE
Article
-
MODÈLES THÉORIE DES
- Écrit par Daniel ANDLER , Daniel LASCAR et Gabriel SABBAGH
- 7 801 mots
Théorème de Łoś. Un énoncé ϕ est vrai dans l'ultraproduit des ai par rapport à l'ultrafiltre D si et seulement si l'ensemble des i tels que ϕ soit vrai dans ai appartient à D.