Jump to content

Set Theory: An Introduction to Independence Proofs

Add links
From Wikipedia, the free encyclopedia
This is an old revision of this page, as edited by That Guy, From That Show! (talk | contribs) at 14:02, 26 February 2006 (migrate {{book reference}} to {{cite book}} using AWB). The present address (URL) is a permanent link to this revision, which may differ significantly from the current revision.

Set Theory: An Introduction to Independence Proofs is an important 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, ◊, 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 exposit the method of forcing. Through exercises, the reader learns to apply the method to prove logical independence results in set theory.

This book is not really for beginners, but graduate students with some minimal experience in set theory and formal logic will find it a valuable self-teaching tool, particularly in regards to forcing. It is far easier to read than a true reference work such as Set Theory (Jech). It may be the best textbook from which to learn forcing, though it has the disadvantage that the exposition of forcing relies somewhat on the earlier presentation of Martin's axiom.

References

  • Kunen, Kenneth (1980). Set Theory: An Introduction to Independence Proofs. North-Holland. ISBN 0-444-85401-0.
Retrieved from "https://en.wikipedia.org/w/index.php?title=Set_Theory:_An_Introduction_to_Independence_Proofs&oldid=41313629"