ŁOŚ THÉORÈME DE

Article associé

• MODÈLES THÉORIE DES

  • Écrit par Daniel ANDLER, Daniel LASCAR, Gabriel SABBAGH
  • 6 865 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.