SATURATION, logique

Article associé

• MODÈLES THÉORIE DES

  • Écrit par Daniel ANDLER, Daniel LASCAR, Gabriel SABBAGH
  • 6 865 mots
  ...la conjecture de Łoś consiste à montrer qu'une théorie ℵ₀-stable possède pour tout κ > ℵ₀ un modèle ℵ₁-saturé de cardinalité κ. La λ- saturation est une notion très importante, qui trouve son origine et ses premiers exemples dans les ordres denses η_α de Hausdorff, lesquels sont précisément...