MATHEMATIC 6004
Advanced Mathematical Logic IV: Computability Theory
Ohio State University Agricultural Technical Institute · UGRD · Fall 2026
1 section
Catalog description
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.
Sections
Current meeting, instructor, credit, and enrollment details
001
Availability not recently verifiedClass #ohio_agricultural_technical-MATHEMATIC6004Fall 2026UGRD3 credits
- Days & times
- No scheduled meeting time
- Meeting dates
- —
- Location
- —
- Instructor
- Staff
Class numbers and section codes come from the registrar.
Spot missing or incorrect course data?