Ł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 a_i par rapport à l'ultrafiltre D si et seulement si l'ensemble des i tels que ϕ soit vrai dans a_i appartient à D.