Since their inception, the Perspectives in Logic and Lecture Notes in Logic series have published seminal works by leading logicians. Many of the original books in the series have been unavailable for years, but they are now in print once again. In this volume, the third publication in the Lecture Notes in Logic series, Mitchell and Steel construct an inner model with a Woodin cardinal and develop its fine structure theory. This work builds upon the existing theory of a model of the form L[E], where E is a coherent sequence of extenders, and relies upon the fine structure theory of L[E] models with strong cardinals, and the theory of iteration trees and 'backgrounded' L[E] models with Woodin cardinals. This work is what results when fine structure meets iteration trees.

Mitchell and Steel construct an inner model with a Woodin cardinal and develop its fine structure theory using the theory of iteration trees. This work builds upon the existing theory of a model of the form L[E], where E is a coherent sequence of extenders.

This book proves some important new theorems in the theory of canonical inner models for large cardinal hypotheses, a topic of central importance in modern set theory. In particular, the author 'completes' the theory of Fine Structure and Iteration Trees (FSIT) by proving a comparison theorem for mouse pairs parallel to the FSIT comparison theorem for pure extender mice, and then using the underlying comparison process to develop a fine structure theory for strategy mice. Great effort has been taken to make the book accessible to non-experts so that it may also serve as an introduction to the higher reaches of inner model theory. It contains a good deal of background material, some of it unpublished folklore, and includes many references to the literature to guide further reading. An introductory essay serves to place the new results in their broader context. This is a landmark work in inner model theory that should be in every set theorist's library.

Numbers imitate space, which is of such a di?erent nature —Blaise Pascal It is fair to date the study of the foundation of mathematics back to the ancient Greeks. The urge to understand and systematize the mathematics of the time led Euclid to postulate axioms in an early attempt to put geometry on a ?rm footing. With roots in the Elements, the distinctive methodology of mathematics has become proof. Inevitably two questions arise: What are proofs? and What assumptions are proofs based on? The ?rst question, traditionally an internal question of the ?eld of logic, was also wrestled with in antiquity. Aristotle gave his famous syllogistic s- tems, and the Stoics had a nascent propositional logic. This study continued with ?ts and starts, through Boethius, the Arabs and the medieval logicians in Paris and London. The early germs of logic emerged in the context of philosophy and theology. The development of analytic geometry, as exempli?ed by Descartes, ill- tratedoneofthedi?cultiesinherentinfoundingmathematics. Itisclassically phrased as the question ofhow one reconciles the arithmetic with the geom- ric. Arenumbers onetypeofthingand geometricobjectsanother? Whatare the relationships between these two types of objects? How can they interact? Discovery of new types of mathematical objects, such as imaginary numbers and, much later, formal objects such as free groups and formal power series make the problem of ?nding a common playing ?eld for all of mathematics importunate. Several pressures made foundational issues urgent in the 19th century.

This collection of reprinted 'Featured Reviews' published in Mathematical Reviews (MR) in 1995 and 1996 makes widely available informed reviews of some of the best mathematics published recently. 'Featured Reviews' were introduced in MR at the beginning of 1995 in part to provide some guidance to the current research-level literature. With the exponential growth of publications in mathematical research in the first half-century of MR, it had become essentially impossible for users of MR to identify the most important new research-level books and papers, especially in fields outside of the users' own expertise. This work identifies some of the "best" new publications, papers, and books that are expected to have a significant impact on the area of pure or applied mathematics with which researchers are concerned. All of the papers reviewed here contain interesting new ideas or applications, a deep synthesis of existing ideas, or any combination of these. The volume is intended to lead the user to important new research across all fields covered by MR.

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.

Suitable for graduate students and researchers in set theory, this volume develops a method for constructing core models that have Woodin cardinals.