TD : Ensembles récursivement énumérables

Examen corrigé du Cours de logique. Exercice 1 (Théorie des ensembles) ...
Pour tout cardinal infini ?, H? désigne la collection des ensembles x tels que |ct(x
)| ...

Part of the document