Math 975: Seminar in Foundations - Forcing Constructions
(Instructors: Steffen Lempp and Hongyu Zhu)

This course will focus on one of the fundamental techniques in computability theory, forcing construction, at the example of a selection of forcing constructions in the literature in order to allow students to master the technique and to eventually produce their own forcing constructions.

Each student will be expected to present one or two forcing constructionss in one or two sessions.

UNIVERSITY-REQUIRED SYLLABUS

REFERENCES USED IN SEMINAR:

In Canvas.
Prepared by Steffen Lempp (@math.wisc.edu">lemppmath.wisc.edu)