Referências: |
Bibliografia principal:
Kunen, Kenneth, Set theory. An introduction to independence proofs. 2nd print. Studies in Logic and the Foundations of Mathematics, 102. Amsterdam-New York-Oxford: North-Holland. XVI, 313 pp. (1983).
Jech, Thomas, Set theory. The third millennium edition, revised and expanded. Springer Monographs in Mathematics. Berlin: Springer. xiii, 769 p. (2003).
Jech, Thomas, Lectures in set theory with particular emphasis on the method of forcing. Lecture Notes in Mathematics. 217. Berlin Heidelberg-New York: Springer-Verlag (1971).
Dzamonja, Mirna, Fast track to forcing, London Mathematical Society Student Texts (98), Cambridge University Press (2020). Bibliografia complementar:
Todorcevic, Stevo; Farah, Ilijas, Some applications of the method of forcing, Yenisei Series in Pure and Applied Mathematics. Moscow: Yenisei; Troitsk: Lycée, iv + 148 p., (1995).
Todorcevic, Stevo, Notes on forcing axioms, Lecture Notes Series. Institute for Mathematical Sciences. National University of Singapore. World Scientific, . xiii + 219 p., (2014).
Halbeisen, Lorenz J., Combinatorial set theory. With a gentle introduction to forcing. 2nd edition. Springer Monographs in Mathematics, Springer, xvi + 594 p., (2017).
Bell, John L., Set theory. Boolean-valued models and independence proofs. 3rd. ed., Oxford Logic Guides 47, Oxford Clarendon Press, xxii + 191 p., (2011).
Baumgartner, James E., Iterated forcing. In: Mathias A. R. D. (ed.), Surveys in set theory, Lond. Math. Soc. Lect. Note Ser. 87, 1-59 (1983). |