Set Theory: An Introduction to Independence Proofs
{{Short description|Mathematics textbook}}
{{italic title}}
{{Infobox book
| name = Set Theory: An Introduction to Independence Proofs
| author = Kenneth Kunen
| image = File:Set_Theory_An_Introduction_to_Independence_Proofs.jpg
| caption = First edition
| pub_date = 1986
| genre = Textbook
| publisher = North Holland
| subject = Set Theory
| series = Studies in Logic and the Foundations of Mathematics
| language = English
| pages = 313
}}
Set Theory: An Introduction to Independence Proofs is a textbook and reference work in set theory by Kenneth Kunen. It starts from basic notions, including the ZFC axioms, and quickly develops combinatorial notions such as trees, Suslin's problem, the diamond principle, and Martin's axiom. It develops some basic model theory (rather specifically aimed at models of set theory) and the theory of Gödel's constructible universe, L. The book then proceeds to describe the method of forcing.
Kunen completely rewrote the book for the 2011 edition (under the title Set Theory), including more model theory.
References
- {{cite journal | title=Set Theory. An Introduction to Independence Proofs by Kenneth Kunen | first=James E. | last=Baumgartner | journal=The Journal of Symbolic Logic | volume=51 | number=2 | date=June 1986 | pages=462–464 | doi=10.2307/2274070 | jstor=2274070 }}
- {{cite journal | url=http://www.ams.org/journals/bull/1984-10-01/S0273-0979-1984-15214-5/ | title=Set theory, An introduction to independence proofs by Kenneth Kunen | first=C. Ward | last=Henson | journal=Bull. Amer. Math. Soc. | volume=10 | year=1984 | pages=129–131 | doi=10.1090/S0273-0979-1984-15214-5 | doi-access=free }}
- {{cite book|title=Set Theory: An Introduction to Independence Proofs|url=https://archive.org/details/settheoryintrodu0000kune|url-access=registration|author=Kunen, Kenneth|publisher=North-Holland|year=1980|isbn=0-444-85401-0|zbl=0443.03021}}
- {{cite book | mr=2905394 | zbl=1262.03001
|last=Kunen|first= Kenneth
|title=Set theory
|series=Studies in Logic |volume=34|publisher= College Publications|place= London|year= 2011|isbn= 978-1-84890-050-9 }}
Category:1980 non-fiction books
Category:Mathematics textbooks
{{mathematics-lit-stub}}