Recursion Theory Week

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