MATH 6004: Advanced Mathematical Logic IV: Computability Theory

October 20, 2013
Relative recursion; Turing reducibility, structure of Turing degrees; structure of the recursively enumerable degrees and priority arguments; recursion in higher types; generalized recursion; Borel and projective sets; determinacy. Prereq: 5051 (649) or permission of department. Not open to students with credit for 747.
Credit Hours: 


No text required.

To find course availability and times, please visit the Ohio State Course Catalog and Master Schedule.

[pdf] - Some links on this page are to Adobe .pdf files requiring the use of Adobe Reader. If you need these files in a more accessible format, please