[theory students] FW: math logic grad course

[Dieter van Melkebeek <dieter@xxxxxxxxxxx>]

Dear all,

Steffen Lempp from the math department asked me to forward the announcement below. All the best,

-- Dieter

 

 

Mathematics 773 (Computability Theory)

 

Description

Turing degree and jump, strong reducibilities, arithmetic hierarchy, index sets, simple and (hyper)hypersimple sets, easy forcing arguments in computability theory, finite and infinite injury, Friedberg-Muchnik and Sacks Splitting Theorem, Sacks Jump and Sacks Density Theorems, computable ordinals.

Enroll Info: Familiarity with the topics in a basic Foundations course such as MATH 770 is strongly recommended but not required.

Time:

 

TR 11:00 AM - 12:15 PM, B113 Van Vleck Hall

Instructor

Joseph Miller (Email: jmiller@xxxxxxxxxxxxx)