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.

In this volume the author develops and applies methods for proving, from large cardinals, the determinacy of definable games of countable length on natural numbers. The determinacy is ultimately derived from iteration strategies, connecting games on natural numbers with the specific iteration games that come up in the study of large cardinals. The games considered in this text range in strength, from games of fixed countable length, through games where the length is clocked by natural numbers, to games in which a run is complete when its length is uncountable in an inner model (or a pointclass) relative to the run. More can be done using the methods developed here, reaching determinacy for games of certain length. The book is largely self-contained. Only graduate level knowledge of modern techniques in large cardinals and basic forcing is assumed. Several exercises allow the reader to build on the results in the text, for example connecting them with universally Baire and homogeneously Suslin sets. - Important contribution to one of the main features of current set theory, as initiated and developed by Jensen, Woodin, Steel and others.

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.

Ernst Zermelo (1871-1953) is regarded as the founder of axiomatic set theory and best-known for the first formulation of the axiom of choice. However, his papers include also pioneering work in applied mathematics and mathematical physics. This edition of his collected papers will consist of two volumes. Besides providing a biography, the present Volume I covers set theory, the foundations of mathematics, and pure mathematics and is supplemented by selected items from his Nachlass and part of his translations of Homer's Odyssey. Volume II will contain his work in the calculus of variations, applied mathematics, and physics. The papers are each presented in their original language together with an English translation, the versions facing each other on opposite pages. Each paper or coherent group of papers is preceded by an introductory note provided by an acknowledged expert in the field which comments on the historical background, motivations, accomplishments, and influence.