Cornell Math - MATH 781, Fall 2000

MATH 781 — Fall 2000
Seminar in Logic

This semester we will continue the topic from Spring 2000 dealing with the hyperarithmetic sets and continuing on to recursion theory on admissible ordinals. We will analyze the structure of the hyperdegrees and develop various appropriate notions of forcing. We will then develop recursion theory on admissible ordinals using both forcing and priority arguments. The text will again be Higher Recursion Theory by Gerald Sacks.