From the reviews: "The theory is systematically developed by the axiomatic method that has, since von Neumann, dominated the general approach to linear functional analysis and that achieves here a high degree of lucidity and clarity....The book contains about 350 well placed and instructive problems, which cover a considerable part of the subject. All in all this is an excellent work, of equally high value for both student and teacher." --ZENTRALBLATT FUER MATHEMATIK


Naive Set Theory

by P R Halmos

Published 16 January 1998
Every mathematician agrees that every mathematician must know some set theory; the disagreement begins in trying to decide how much is some. This book contains my answer to that question. The purpose of the book is to tell the beginning student of advanced mathematics the basic set­ theoretic facts of life, and to do so with the minimum of philosophical discourse and logical formalism. The point of view throughout is that of a prospective mathematician anxious to study groups, or integrals, or manifolds. From this point of view the concepts and methods of this book are merely some of the standard mathematical tools; the expert specialist will find nothing new here. Scholarly bibliographical credits and references are out of place in a purely expository book such as this one. The student who gets interested in set theory for its own sake should know, however, that there is much more to the subject than there is in this book. One of the most beautiful sources of set-theoretic wisdom is still Hausdorff's Set theory. A recent and highly readable addition to the literature, with an extensive and up-to-date bibliography, is Axiomatic set theory by Suppes.

IN 1959 I lectured on Boolean algebras at the University of Chicago. A mimeographed version of the notes on which the lectures were based circulated for about two years; this volume contains those notes, corrected and revised. Most of the corrections were suggested by Peter Crawley. To judge by his detailed and precise suggestions, he must have read every word, checked every reference, and weighed every argument, and I am lIery grateful to hirn for his help. This is not to say that he is to be held responsible for the imperfec tions that remain, and, in particular, I alone am responsible for all expressions of personal opinion and irreverent view point. P. R. H. Ann Arbor, Michigan ] anuary, 1963 Contents Section Page 1 1 Boolean rings ............................ . 2 Boolean algebras ......................... . 3 9 3 Fields of sets ............................ . 4 Regular open sets . . . . . . . . . . . . . . . . . . . 12 . . . . . . 5 Elementary relations. . . . . . . . . . . . . . . . . . 17 . . . . . 6 Order. . . . . . . . . . . . . . . . . . . . . . . . . . . 21 . . . . . . . . . 7 Infinite operations. . .. . . . . . . . . . . . . . . . . 25 . . . . . 8 Subalgebras . . . . . . . . . . . . . . . . . . . . .. . . . 31 . . . . . . 9 Homomorphisms . . . . . . . . . . . . . . . . . . . . 35 . . . . . . . 10 Free algebras . . . . . . . . . . . . . . . . . . . . . . 40 . . . . . . . 11 Ideals and filters. . . . . . . . . . . . . . . . . . . . 47 . . . . . . 12 The homomorphism theorem. . . . . . . . . . . . .. . . 52 . . 13 Boolean a-algebras . . . . . . . . . . . . . . . . . . 55 . . . . . . 14 The countable chain condition . . . . . . . . . . . . 61 . . . 15 Measure algebras . . . . . . . . . . . . . . . . . . . 64 . . . . . . . 16 Atoms.. . . . .. . . . . .. .. . . . ... . . . . .. . . ... . . .. 69 17 Boolean spaces . . . . . . . . . . . . . . . . . . . . 72 . . . . . . . 18 The representation theorem. . . . . . . . . . . . . . 77 . . . 19 Duali ty for ideals . . . . . . . . . . . . . . . . . .. . . 81 . . . . . 20 Duality for homomorphisms . . . . . . . . . . . . . . 84 . . . . 21 Completion . . . . . . . . . . . . . . . . . . . . . . . 90 . . . . . . . . 22 Boolean a-spaces . . . . . . . . . . . . . . . . . .. . . 97 . . . . . 23 The representation of a-algebras . . . . . . . . .. . . 100 . 24 Boolean measure spaces . . . . . . . . . . . . . .. . . 104 . . . 25 Incomplete algebras . . . . . . . . . . . . . . . .. . . 109 . . . . . 26 Products of algebras . . . . . . . . . . . . . . . .. . . 115 . . . . 27 Sums of algebras . . . . . . . . . . . . . . . . . .. . . 119 . . . . . 28 Isomorphisms of factors . . . . . . . . . . . . . .. . . 122 . . .