The proceedings of the Los Angeles Caltech-UCLA 'Cabal Seminar' were originally published in the 1970s and 1980s. Wadge Degrees and Projective Ordinals is the second of a series of four books collecting the seminal papers from the original volumes together with extensive unpublished material, new papers on related topics and discussion of research developments since the publication of the original volumes. Focusing on the subjects of 'Wadge Degrees and Pointclasses' (Part III) and 'Projective Ordinals' (Part IV), each of the two sections is preceded by an introductory survey putting the papers into present context. These four volumes will be a necessary part of the book collection of every set theorist.

One of the aims of this work is to investigate some natural properties of Borel sets which are undecidable in $ZFC$. The authors' starting point is the following elementary, though non-trivial result: Consider $X \subset 2omega\times2omega$, set $Y=\pi(X)$, where $\pi$ denotes the canonical projection of $2omega\times2omega$ onto the first factor, and suppose that $(\star)$: Any compact subset of $Y$ is the projection of some compact subset of $X$. If moreover $X$ is $\mathbf{\Pi 0 2$ then $(\star\star)$: The restriction of $\pi$ to some relatively closed subset of $X$ is perfect onto $Y$ it follows that in the present case $Y$ is also $\mathbf{\Pi 0 2$. Notice that the reverse implication $(\star\star)\Rightarrow(\star)$ holds trivially for any $X$ and $Y$. But the implication $(\star)\Rightarrow (\star\star)$ for an arbitrary Borel set $X \subset 2omega\times2omega$ is equivalent to the statement $\forall \alpha\in \omegaomega, \, \aleph 1$ is inaccessible in $L(\alpha)$. More precisely The authors prove that the validity of $(\star)\Rightarrow(\star\star)$ for all $X \in \varSigma0 {1+\xi+1 $, is equivalent to $\aleph \xi \aleph 1$. $ZFC$, derive from $(\star)$ the weaker conclusion that $Y$ is also Borel and of the same Baire class as $X$. This last result solves an old problem about compact covering mappings. In fact these results are closely related to the following general boundedness principle Lift$(X, Y)$: If any compact subset of $Y$ admits a continuous lifting in $X$, then $Y$ admits a continuous lifting in $X$, where by a lifting of $Z\subset \pi(X)$ in $X$ we mean a mapping on $Z$ whose graph is contained in $X$. The main result of this work will give the exact set theoretical strength of this principle depending on the descriptive complexity of $X$ and $Y$. The authors also prove a similar result for a variation of Lift$(X, Y)$ in which continuous liftings are replaced by Borel liftings, and which answers a question of H. Friedman. Among other applications the authors obtain a complete solution to a problem which goes back to Lusin concerning the existence of $\mathbf{\Pi 1 1$ sets with all constituents in some given class $\mathbf{\Gamma $ of Borel sets, improving earlier results by J. Stern and R. Sami. Borel sets (in $ZFC$) of a new type, involving a large amount of abstract algebra. This representation was initially developed for the purposes of this proof, but has several other applications.

The Proceedings of the ICM publishes the talks, by invited speakers, at the conference organized by the International Mathematical Union every 4 years. It covers several areas of Mathematics and it includes the Fields Medal and Nevanlinna, Gauss and Leelavati Prizes and the Chern Medal laudatios.

Over the years, this book has become a standard reference and guide in the set theory community. It provides a comprehensive account of the theory of large cardinals from its beginnings and some of the direct outgrowths leading to the frontiers of contemporary research, with open questions and speculations throughout.

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.

Primarily consisting of talks presented at a workshop at the MSRI during its "Logic Year" 1989-90, this volume is intended to reflect the whole spectrum of activities in set theory. The first section of the book comprises the invited papers surveying the state of the art in a wide range of topics of set-theoretic research. The second section includes research papers on various aspects of set theory and its relation to algebra and topology. Contributors include: J.Bagaria, T. Bartoszynski, H. Becker, P. Dehornoy, Q. Feng, M. Foreman, M. Gitik, L. Harrington, S. Jackson, H. Judah, W. Just, A.S. Kechris, A. Louveau, S. MacLane, M. Magidor, A.R.D. Mathias, G. Melles, W.J. Mitchell, S. Shelah, R.A. Shore, R.I. Soare, L.J. Stanley, B. Velikovic, H. Woodin.

The roots of Borel sets go back to the work of Baire [8]. He was trying to come to grips with the abstract notion of a function introduced by Dirich let and Riemann. According to them, a function was to be an arbitrary correspondence between objects without giving any method or procedure by which the correspondence could be established. Since all the specific functions that one studied were determined by simple analytic expressions, Baire delineated those functions that can be constructed starting from con tinuous functions and iterating the operation 0/ pointwise limit on a se quence 0/ functions. These functions are now known as Baire functions. Lebesgue [65] and Borel [19] continued this work. In [19], Borel sets were defined for the first time. In his paper, Lebesgue made a systematic study of Baire functions and introduced many tools and techniques that are used even today. Among other results, he showed that Borel functions coincide with Baire functions. The study of Borel sets got an impetus from an error in Lebesgue's paper, which was spotted by Souslin. Lebesgue was trying to prove the following: Suppose / : )R2 -- R is a Baire function such that for every x, the equation /(x,y) = 0 has a. unique solution. Then y as a function 0/ x defined by the above equation is Baire.

Conceptual engineering is a newly flourishing branch of philosophy which investigates problems with our concepts and considers how they might be ameliorated: 'truth', for instance, is susceptible to paradox, and it's not clear what 'race' stands for. This is the first collective exploration of possibilities and problems of conceptual engineering.

Set theory is an autonomous and sophisticated field of mathematics that is extremely successful at analyzing mathematical propositions and gauging their consistency strength. It is as a field of mathematics that both proceeds with its own internal questions and is capable of contextualizing over a broad range, which makes set theory an intriguing and highly distinctive subject. This handbook covers the rich history of scientific turning points in set theory, providing fresh insights and points of view. Written by leading researchers in the field, both this volume and the Handbook as a whole are definitive reference tools for senior undergraduates, graduate students and researchers in mathematics, the history of philosophy, and any discipline such as computer science, cognitive psychology, and artificial intelligence, for whom the historical background of his or her work is a salient consideration - Serves as a singular contribution to the intellectual history of the 20th century - Contains the latest scholarly discoveries and interpretative insights