세트 이론: 독립 증명서 소개
Set Theory: An Introduction to Independence Proofs세트 이론: 독립 증명에 대한 소개는 케네스 쿠넨의 세트 이론의 교과서 및 참고서다.ZFC 공리를 포함한 기본 개념에서 시작하여 나무, 수슬린의 문제, ◊, 마틴의 공리 등의 결합 개념들을 빠르게 전개한다.그것은 어떤 기본적인 모델 이론과 괴델의 구성 가능한 우주 L의 이론을 개발한다.그리고 나서 그 책은 강요하는 방법을 계속 묘사한다.null
쿠넨은 더 많은 모델 이론을 포함한 2011년 판의 책을 완전히 다시 썼다.null
참조
- Baumgartner, James E. (June 1986). "Set Theory. An Introduction to Independence Proofs by Kenneth Kunen". The Journal of Symbolic Logic. 51 (2): 462–464. doi:10.2307/2274070. JSTOR 2274070.
- Henson, C. Ward (1984). "Set theory, An introduction to independence proofs by Kenneth Kunen". Bull. Amer. Math. Soc. 10: 129–131. doi:10.1090/S0273-0979-1984-15214-5.
- Kunen, Kenneth (1980). Set Theory: An Introduction to Independence Proofs. North-Holland. ISBN 0-444-85401-0. Zbl 0443.03021.
- Kunen, Kenneth (2011). Set theory. Studies in Logic. Vol. 34. London: College Publications. ISBN 978-1-84890-050-9. MR 2905394. Zbl 1262.03001.
