Steven Givant - Böcker

This book is an informal, although systematic presentation of lectures given by the author on Boolean algebras at the graduate level. In characteristic bold and fresh style, he treats Boolean algebras, develops some intriguing ideas, and provides rare insights. Exercises are generously sprinkled through the text for course study.

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 . . .

The theory of Boolean algebras was created in 1847 by the English mat- matician George Boole. He conceived it as a calculus (or arithmetic) suitable for a mathematical analysis of logic. The form of his calculus was rather di?erent from the modern version, which came into being during the - riod 1864-1895 through the contributions of William Stanley Jevons, Aug- tus De Morgan, Charles Sanders Peirce, and Ernst Schr. oder. A foundation of the calculus as an abstract algebraic discipline, axiomatized by a set of equations, and admitting many di?erent interpretations, was carried out by Edward Huntington in 1904. Only with the work of Marshall Stone and Alfred Tarski in the 1930s, however, did Boolean algebra free itself completely from the bonds of logic and become a modern mathematical discipline, with deep theorems and - portantconnections toseveral otherbranchesofmathematics, includingal- bra,analysis, logic, measuretheory, probability andstatistics, settheory, and topology. For instance, in logic, beyond its close connection to propositional logic, Boolean algebra has found applications in such diverse areas as the proof of the completeness theorem for ?rst-order logic, the proof of the Lo ' s conjecture for countable ?rst-order theories categorical in power, and proofs of the independence of the axiom of choice and the continuum hypothesis ? in set theory. In analysis, Stone's discoveries of the Stone-Cech compac- ?cation and the Stone-Weierstrass approximation theorem were intimately connected to his study of Boolean algebras.

In this new text, Steven Givant—the author of several acclaimed books, including works co-authored with Paul Halmos and Alfred Tarski—develops three theories of duality for Boolean algebras with operators.

In this new text, Steven Givant—the author of several acclaimed books, including works co-authored with Paul Halmos and Alfred Tarski—develops three theories of duality for Boolean algebras with operators. Givant addresses the two most recognized dualities (one algebraic and the other topological) and introduces a third duality, best understood as a hybrid of the first two. This text will be of interest to graduate students and researchers in the fields of mathematics, computer science, logic, and philosophy who are interested in exploring special or general classes of Boolean algebras with operators. Readers should be familiar with the basic arithmetic and theory of Boolean algebras, as well as the fundamentals of point-set topology.

The first volume of a pair that charts relation algebras from novice to expert level, this text offers a comprehensive grounding for readers new to the topic. Upon completing this introduction, mathematics students may delve into areas of active research by progressing to the second volume, Advanced Topics in Relation Algebras; computer scientists, philosophers, and beyond will be equipped to apply these tools in their own field.The careful presentation establishes first the arithmetic of relation algebras, providing ample motivation and examples, then proceeds primarily on the basis of algebraic constructions: subalgebras, homomorphisms, quotient algebras, and direct products. Each chapter ends with a historical section and a substantial number of exercises. The only formal prerequisite is a background in abstract algebra and some mathematical maturity, though the reader will also benefit from familiarity with Boolean algebra and naïve set theory. The measured paceand outstanding clarity are particularly suited to independent study, and provide an unparalleled opportunity to learn from one of the leading authorities in the field.Collecting, curating, and illuminating over 75 years of progress since Tarski's seminal work in 1941, this textbook in two volumes offers a landmark, unified treatment of the increasingly relevant field of relation algebras. Clear and insightful prose guides the reader through material previously only available in scattered, highly-technical journal articles. Students and experts alike will appreciate the work as both a textbook and invaluable reference for the community.

The second volume of a pair that charts relation algebras from novice to expert level, this text brings the well-grounded reader to the frontiers of research. Building on the foundations established in the preceding Introduction to Relation Algebras, this volume advances the reader into the deeper mathematical results of the past few decades. Such material offers an ideal preparation for research in relation algebras and Boolean algebras with operators.Arranged in a modular fashion, this text offers the opportunity to explore any of several areas in detail; topics include canonical extensions, completions, representations, varieties, and atom structures. Each chapter offers a complete account of one such avenue of development, including a historical section and substantial number of exercises. The clarity of exposition and comprehensive nature of each module make this an ideal text for the independent reader entering the field, while researchers will value it as a reference for years to come. Collecting, curating, and illuminating over 75 years of progress since Tarski's seminal work in 1941, this textbook in two volumes offers a landmark, unified treatment of the increasingly relevant field of relation algebras. Clear and insightful prose guides the reader through material previously only available in scattered, highly-technical journal articles. Students and experts alike will appreciate the work as both a textbook and invaluable reference for the community. Note that this volume contains numerous, essential references to the previous volume, Introduction to Relation Algebras. The reader is strongly encouraged to secure at least electronic access to the first book in order to make use of the second.

This monograph details several different methods for constructing simple relation algebras, many of which are new with this book. By drawing these seemingly different methods together, all are shown to be aspects of one general approach, for which several applications are given. These tools for constructing and analyzing relation algebras are of particular interest to mathematicians working in logic, algebraic logic, or universal algebra, but will also appeal to philosophers and theoretical computer scientists working in fields that use mathematics. The book is written with a broad audience in mind and features a careful, pedagogical approach; an appendix contains the requisite background material in relation algebras. Over 400 exercises provide ample opportunities to engage with the material, making this a monograph equally appropriate for use in a special topics course or for independent study. Readers interested in pursuing an extended background study of relation algebras will find a comprehensive treatment in author Steven Givant’s textbook, Introduction to Relation Algebras (Springer, 2017).

The first volume of a pair that charts relation algebras from novice to expert level, this text offers a comprehensive grounding for readers new to the topic.

The second volume of a pair that charts relation algebras from novice to expert level, this text brings the well-grounded reader to the frontiers of research.