Course page Home page Home page CoursesNew course

Forcing and independence: Mathematical Logic course | Zoonk

41. Forcing and independence

Develops forcing through partial orders, names, generic filters, and forcing relations. The main applications are independence results such as the Continuum Hypothesis and the independence of selected combinatorial statements.

Mathematical Logic

Create this chapter

This chapter is part of the course, but it hasn't been created yet. Create it to see all of its lessons.

Create chapterNBack to courseEsc