The book is about strong axioms of infi nity in set theory (also known as large cardinal axioms), and the ongoing search for natural models of these axioms. Assuming the Ultrapower Axiom, a combinatorial principle conjectured to hold in all such natural models, we solve various classical problems in set theory (for example, the Generalized Continuum Hypothesis) and uncover a theory of large cardinals that is much clearer than the one that can be developed using only the standard axioms.

This volume contains the proceedings of Simon Fest, held in honor of Simon Thomas's 60th birthday, from September 15–17, 2017, at Rutgers University, Piscataway, New Jersey. The topics covered showcase recent advances from a variety of main areas of set theory, including descriptive set theory, forcing, and inner model theory, in addition to several applications of set theory, including ergodic theory, combinatorics, and model theory.

The series is devoted to the publication of high-level monographs on all areas of mathematical logic and its applications. It is addressed to advanced students and research mathematicians, and may also serve as a guide for lectures and for seminars at the graduate level.

The book is about strong axioms of infinity (also known as large cardinal axioms) in set theory, and the ongoing search for natural models of these axioms. Assuming the Ultrapower Axiom, we solve various classical problems in set theory (e.g., the Generalized Continuum Hypothesis) and develop a theory of large cardinals that is much clearer than the theory that can be developed using only the standard axioms.

This is an expository account of work on strong forms of the Axiom of Determinacy (AD) by a group of set theorists in Southern California, in particular by W. Hugh Woodin. The first half of the book reviews necessary background material, including the Moschovakis Coding Lemma, the existence of strong partition cardinals, and the analysis of pointclasses in models of determinacy. The second half of the book introduces Woodin's axiom system $mathrm{AD}^{+}$ and presents his initial analysis of these axioms. These results include the consistency of $mathrm{AD}^{+}$ from the consistency of AD, and its local character and initial motivation. Proofs are given of fundamental results by Woodin, Martin, and Becker on the relationships among AD, $mathrm{AD}^{+}$, the Axiom of Real Determinacy, and the Suslin property. Many of these results are proved in print here for the first time. The book briefly discusses later work and fundamental questions which remain open. The study of models of $mathrm{AD}^{+}$ is an active area of contemporary research in set theory. The presentation is aimed at readers with a background in basic set theory, including forcing and ultrapowers. Some familiarity with classical results on regularity properties for sets of reals under AD is also expected.

Review text: "There is an excellent extensive Introduction presenting a view of the theory that can be profitable for a non-specialist as well."(ap) in: EMS-Newsletter 3/2007.

The dominant current of twentieth-century mathematics, which simultaneously explores and applies infinity (albeit in bizarre ideal worlds), relies on Cantor's classical theory of infinite sets. Cantor’s theory in turn relies on the problematic assumption of the existence of the set of all natural numbers, the only justification for which – a theological justification - is usually concealed and pushed into the collective unconscious. This book begins by surveying the theological background, emergence, and development of classical set theory. The author warns us about the dangers implicit in the construction of set theory, traceable in his own and other eminent mathematicians' seminal works on the subject. He then goes on to present an argument about the absurdity of the assumption of the existence of the set of all natural numbers. However, the author’s contribution is not just a negation of current views and assumptions. On the contrary, the new infinitary mathematics that he proceeds to propose and develop is driven by a cautious effort to transcend the horizon bounding the ancient geometric world and pre-set-theoretical mathematics, whilst allowing mathematics to correspond more closely to the natural real world surrounding us. The final parts are devoted to a discussion of real numbers and to demonstrating how, within the new infinitary mathematics, calculus can be rehabilitated in its original form employing infinitesimals.

ICM 2010 proceedings comprises a four-volume set containing articles based on plenary lectures and invited section lectures, the Abel and Noether lectures, as well as contributions based on lectures delivered by the recipients of the Fields Medal, the Nevanlinna, and Chern Prizes. The first volume will also contain the speeches at the opening and closing ceremonies and other highlights of the Congress.