This book introduces a new research direction in set theory: the study of models of set theory with respect to their extensional overlap or disagreement. In Part I, the method is applied to isolate new distinctions between Borel equivalence relations. Part II contains applications to independence results in Zermelo–Fraenkel set theory without Axiom of Choice. The method makes it possible to classify in great detail various paradoxical objects obtained using the Axiom of Choice; the classifying criterion is a ZF-provable implication between the existence of such objects. The book considers a broad spectrum of objects from analysis, algebra, and combinatorics: ultrafilters, Hamel bases, transcendence bases, colorings of Borel graphs, discontinuous homomorphisms between Polish groups, and many more. The topic is nearly inexhaustible in its variety, and many directions invite further investigation.

This is modern set theory from the ground up--from partial orderings and well-ordered sets to models, infinite cobinatorics and large cardinals. The approach is unique, providing rigorous treatment of basic set-theoretic methods, while integrating advanced material such as independence results, throughout. The presentation incorporates much interesting historical material and no background in mathematical logic is assumed. Treatment is self-contained, featuring theorem proofs supported by diagrams, examples and exercises. Includes applications of set theory to other branches of mathematics.

Was plane geometry your favourite math course in high school? Did you like proving theorems? Are you sick of memorising integrals? If so, real analysis could be your cup of tea. In contrast to calculus and elementary algebra, it involves neither formula manipulation nor applications to other fields of science. None. It is Pure Mathematics, and it is sure to appeal to the budding pure mathematician. In this new introduction to undergraduate real analysis the author takes a different approach from past studies of the subject, by stressing the importance of pictures in mathematics and hard problems. The exposition is informal and relaxed, with many helpful asides, examples and occasional comments from mathematicians like Dieudonne, Littlewood and Osserman. The author has taught the subject many times over the last 35 years at Berkeley and this book is based on the honours version of this course. The book contains an excellent selection of more than 500 exercises.

Comprehensive and self-contained text examines the axiom's relative strengths and consequences, including its consistency and independence, relation to permutation models, and examples and counterexamples of its use. 1973 edition.

This textbook is suitable for a course in advanced calculus that promotes active learning through problem solving. It can be used as a base for a Moore method or inquiry based class, or as a guide in a traditional classroom setting where lectures are organized around the presentation of problems and solutions. This book is appropriate for any student who has taken (or is concurrently taking) an introductory course in calculus. The book includes sixteen appendices that review some indispensable prerequisites on techniques of proof writing with special attention to the notation used the course.

In this research monograph, the author's work on classification and related topics are presented. This revised edition brings the book up to date with the addition of four new chapters as well as various corrections to the 1978 text.The additional chapters X - XIII present the solution to countable first order T of what the author sees as the main test of the theory. In Chapter X the Dimensional Order Property is introduced and it is shown to be a meaningful dividing line for superstable theories. In Chapter XI there is a proof of the decomposition theorems. Chapter XII is the crux of the matter: there is proof that the negation of the assumption used in Chapter XI implies that in models of T a relation can be defined which orders a large subset of m