IDC608: Computability theory Homework MTH727: Set theory and forcing Homework MTH404: Analysis II (Incomplete) Homework MTH302: Set theory and logic Homework MTH202: Set theory and discrete math Homework