e/Set Theory: An Introduction to Independence Proofs

Information
has gloss	eng: 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, Suslins problem, ◊, and Martins 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.
lexicalization	eng: Set Theory: An Introduction to Independence Proofs
instance of	c/1980 books