AD implies aleph_1 is measurable

もろもろの成り行きで、ADを仮定するとがmeasurableになるとかそういうのの証明を読んでいます。次の節はADからWoodin cardinalの整合性が出るってやつです。割と普通に読めて嬉しいんですが、ふと我にかえるとclub filterがultrafilterってどういうことよ、って気持ちになりますが。