Set theory : an introduction to independence proofs

Kenneth Kunen

Many branches of abstract mathematics have been affected by the modern independence proofs in set theory. This book provides an introduction to relative consistency proofs in axiomatic set theory, and is intended to be used as a text in beginning graduate courses in that subject. It is hoped that this treatment will make the subject accessible to those mathematicians whose research is sensitive to axiomatics. The readers should have had the equivalent of an undergraduate course on cardinals and ordinals, but no specific training in logic is necessary. The volume includes a discussion of modern techniques in forcing, as well as coverage of infinitary combinatorics and its relevance to independence proofs. The work also features a lucid treatment of basic facts about constructibility.

「Nielsen BookData」より


  • The Foundations of Set Theory. Infinitary Combinatorics. The Well-Founded Sets. Easy Consistency Proofs. Defining Definability. The Constructible Sets. Forcing. Iterated Forcing. Bibliography. Indexes.

「Nielsen BookData」より


書名 Set theory : an introduction to independence proofs
著作者等 Kunen, Kenneth
シリーズ名 Studies in logic and the foundations of mathematics
出版元 North-Holland Pub. Co;Sole distributors for the U.S.A. and Canada, Elsevier Science Pub. Co.
刊行年月 1980
版表示 New ed
ページ数 xvi, 313 p.
大きさ 23 cm
ISBN 0444868399
NCID BA02941218
※クリックでCiNii Booksを表示
言語 英語
出版国 オランダ