References

The main references for this material is (Sipser 2013). Here is a link to the errata of the book.

The full list of references of books/articles mentioned in this notes are the following. Notice that they include research articles and books that are not necessarily related to the course, but that are mentioned in the notes for completeness.

Cohen, Paul J. 1963. “THE INDEPENDENCE OF THE CONTINUUM HYPOTHESIS.” Proceedings of the National Academy of Sciences 50 (6): 1143–48. https://doi.org/10.1073/pnas.50.6.1143.

Cohen, Paul J. 1964. “THE INDEPENDENCE OF THE CONTINUUM HYPOTHESIS, II.” Proceedings of the National Academy of Sciences 51 (1): 105–10. https://doi.org/10.1073/pnas.51.1.105.

Gödel, Kurt. 1940. The Consistency of the Continuum Hypothesis. Princeton University Press.

Sipser, Michael. 2013. Introduction to the Theory of Computation. 3rd ed. Cengage Learning.