Modèle de Solovay
From Wikipedia, the free encyclopedia
En mathématiques, dans le domaine de la théorie des ensembles, le modèle de Solovay est un modèle de la théorie des ensembles de Zermelo-Fraenkel (ZF), dans lequel tout ensemble de nombres réels est Lebesgue-mesurable. Il est construit sous l'hypothèse d'existence d'un cardinal inaccessible.
Cet article est une ébauche concernant la théorie des ensembles.
Ce modèle montre que l'existence d'un ensemble non-mesurable est indémontrable dans ZF, alors qu'elle est démontrable dans ZFC (c'est-à-dire en rajoutant l'axiome du choix).
Notes et références
Cette section est vide, insuffisamment détaillée ou incomplète. Votre aide est la bienvenue ! Comment faire ?
