udowodnił, że (i) Jeśli jest liczbą mierzalną, to pewne pojęcie forsingu forsuje że i jest rzeczywiście mierzalna. (ii) Jeśli jest liczbą rzeczywiście mierzalną, to jest mierzalna w pewnym modelu wewnętrznym ZFC. Jeśli jest liczbą mierzalną oraz dla każdej nieskończonej liczby kardynalnej to również Jeśli istnieje liczba mierzalna, to każda przestrzeń Banacha ma własność Lebesgue-PIP.
Przypisy
Kategoria:Rodzaje liczb kardynalnych Kategoria:Teoria miary