SATURATION, logique

Ce sujet est traité dans les articles suivants :

1.  MODÈLES THÉORIE DES

Écrit par : Daniel ANDLER, Daniel LASCAR, Gabriel SABBAGH

Dans le chapitre "Modèles saturés"  : … de Łoś consiste à montrer qu'une théorie ℵ0-stable possède pour tout κ > ℵ0 un modèle ℵ1-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 ℵα-saturés… Lire la suite