Characterizing Separability of Function Spaces
Many fundamental mathematical results fail in ZF, i.e., in Zermelo-Fraenkel set theory without the Axiom of Choice. This article surveys results — old and new — that specify how much “choice” is needed precisely to validate each of certain basic analytical and topological results.
We construct a Choquet simplex whose set of extreme points is -analytic, but is not a -Borel set. The set has the surprising property of being a set in its Stone-Cech compactification. It is hence an example of a set that is not absolute.
We give two examples of scattered compact spaces K such that C(K) is not uniformly homeomorphic to any subset of c₀(Γ) for any set Γ. The first one is [0,ω₁] and hence it has the smallest possible cardinality, the other one has the smallest possible height ω₀ + 1.
On cherche à donner une construction aussi simple que possible d'un borélien donné d'un produit de deux espaces polonais. D'où l'introduction de la notion de classe de Wadge potentielle. On étudie notamment ce que signifie "ne pas être potentiellement fermé", en montrant des résultats de type Hurewicz. Ceci nous amène naturellement à des théorèmes d'uniformisation partielle, sur des parties "grosses", au sens du cardinal ou de la catégorie.