3,264 followers
関連して、しのだ先生の Absolute type 2 objects http://t.co/eGqDqJeJfK を発見したけど、型2汎函数FがE_1(ススリン作用素)より強い場合、set-forcingでもF-admissibilityを保たないという事実にショック。
関連して、しのだ先生の Absolute type 2 objects http://t.co/eGqDqJeJfK を発見したけど、型2汎函数FがE_1(ススリン作用素)より強い場合、set-forcingでもF-admissibilityを保たないという事実にショック。