Set theory. Exploring independence and truth (Q2452710)

This textbook is suitable for advanced students and researchers. It is assumed that the reader has a basic knowledge of set theory. The author develops the interplay of large cardinals, inner models, forcing, and descriptive set theory. He deals with questions that are relevant in current research. The material is given in a form that is accessible to students. In the first three chapters the author introduces the basic notions. In Chapter four he deals with stationary sets and large cardinals. He gives a proof of Solovay's theorem for partitioning stationary sets and studies inner models. In the following chapter he starts with descriptive set theory and its connection to constructibility. In Chapter eight he studies the Solovay model, a model of ZF in which every set of reals is Lebesgue-measurable and has the Baire property. In Chapter nine he investigates rapid filters. He gives a proof of Mokobodzki's theorem. This is used to give a proof of a theorem of Shelah concerning inaccessibility and Lebesgue-measurability. Chapter ten is devoted to measurable cardinals and elementary embeddings. The author develops the theory of iterated ultraproducts, gives a modern approach to sharps, and introduces short and large extenders. In Chapter eleven he develops the fine structure theory. He shows Jensen's Covering Lemma. The next chapter is devoted to analytic and full determinacy. The author shows Martin's Theorem for determinacy and Harrington's Theorem. In the last chapter he investigates projective determinacy. He shows that the existence of infinitely many Woodin cardinals implies projective determinacy. The book contains many interesting problems which help the reader to follow and understand the presented material. This very carefully written book can be recommended to everyone seriously interested in modern set theory.