Math 990-042: Independent Study
(Instructors: Manlio Valenti and Steffen Lempp)

This independent study course will cover the basics of Reverse Mathematics and Weihrauch degrees and computable reductions. The formal prerequisites are (the equivalent of) a first graduate course in computability theory.

Please contact me or Kathie Brohaugh ("> for permission to enroll.


All course materials are available on Canvas.


Office hours: Mondays and Wednesdays, 1:20-2:10p.m.


The course will consist of weekly meetings with one or both instructors at times to be arranged once schedules have settled, likely starting the second week of classes. Students are expected to read ahead in the materials distributed.
Prepared by Steffen Lempp (">