AMS Bookstore LOGO amslogo
Return to List

AMS TextbooksAMS Applications-related Books

Algebras of Sets and Combinatorics
L. Š. Grinblat, College of Judea and Samaria, Ariel, Israel

Translations of Mathematical Monographs
2002; 256 pp; hardcover
Volume: 214
ISBN-10: 0-8218-2765-0
ISBN-13: 978-0-8218-2765-9
List Price: US$115
Member Price: US$92
Order Code: MMONO/214
[Add Item]

An algebra \(A\) on a set \(X\) is a family of subsets of this set closed under the operations of union and difference of two subsets. The main topic of the book is the study of various algebras and families of algebras on an abstract set \(X\). The author shows how this is related to famous problems by Lebesgue, Banach, and Ulam on the existence of certain measures on abstract sets, with corresponding algebras being algebras of measurable subsets with respect to these measures. In particular it is shown that for a certain algebra not to coincide with the algebra of all subsets of \(X\) is equivalent to the existence of a nonmeasurable set with respect to a given measure.

Although these questions don't seem to be related to mathematical logic, many results in this area were proved by "metamathematical" methods, using the method of forcing and other tools related to axiomatic set theory. However, in the present book, the author uses "elementary" (mainly combinatorial) methods to study properties of algebras on a set. Presenting new and original material, the book is written in a clear and readable style and illustrated by many examples and figures.

The book will be useful to researchers and graduate students working in set theory, mathematical logic, and combinatorics.


Graduate students and research mathematicians interested in foundations of mathematics and logic.

Table of Contents

  • Introduction
  • Main results
  • The main idea
  • Finite sequences of algebras (1). Proof of Theorems 2.1 and 2.2
  • Countable sequences of algebras (1). Proof of Theorem 2.4
  • Proof of the Gitik-Shelah theorem, and more from set theory
  • Proof of Theorems 1.17, 2.7, 2.8
  • Theorems on almost \(\sigma\)-algebras. Proof of Theorem 2.9
  • Finite sequences of algebras (2). The function \(\mathfrak{g}(n)\)
  • A description of the class of functions \(\Psi_*^7\)
  • The general problem. Proof of Theorems 2.15 and 2.20
  • Proof of Theorems 2.21(1,3), 2.24
  • The inverse problem
  • Finite sequences of algebras (3). Proof of Theorems 2.27, 2.31, 2.36, 2.38
  • Preliminary notions and lemmas
  • Finite sequences of algebras (4). Proof of Theorems 2.39(1,2), 2.45(1,2)
  • Countable sequences of algebras (2). Proof of Theorems 2.29, 2.32, 2.46
  • A refinement of theorems on \(\sigma\)-algebras. Proof of Theorems 2.34, 2.44
  • Semistructures and structures of sets. Proof of Theorem 2.48
  • Final comments. Generalization of Theorem 2.1
  • Appendix: On a question of Grinblat by S. Shelah
  • Bibliography
  • Index
Powered by MathJax

  AMS Home | Comments:
© Copyright 2014, American Mathematical Society
Privacy Statement

AMS Social

AMS and Social Media LinkedIn Facebook Podcasts Twitter YouTube RSS Feeds Blogs Wikipedia