Benutzer:Frogfol/spielwiese/In Arbeit/Satz von Solovay (Lebesgue-Maß)

Der Satz von Solovay sagt aus, dass es ein Modell der Mengenlehre gibt, in der jede Menge reeller Zahlen lebesgue-messbar ist. Da man mit dem Auswahlaxiom Mengen konstruieren kann, die nicht lebesgue-messbar sind, gilt in diesem Modell das Auswahlaxiom notwendigerweise nicht, allerdings ist ein schwächeres Prinzip erfüllt.

Literatur

• Thomas Jech: Set Theory. 3. millenium edition, revised and expanded. Springer, Berlin u. a. 2003, ISBN 3-540-44085-2, S. 519ff

Sortierung Kategorie:Mengenlehre Solovay, Satz von (Lebesque-Maß)