Monday, March 30, 2026 1:00 pm
-
2:30 pm
EDT (GMT -04:00)
William Dan, University of Waterloo
Solovay Reducibility
Having discussed the relationship between Solovay reducibility and the newly introduced reducibilities, K-reducibility and C-reducibility, we turn back to study its relationship with previously discussed reducibilities, Turing reducibility and wtt-reducibility. Then, if time permits, we will completely finish sections 9.1 and 9.2 by discussing a final characterization of Solovay reducibility and going beyond random left-c.e. reals to look at random left-d.c.e. reals.
MC 5403