Hardcover ISBN:  9780821827659 
Product Code:  MMONO/214 
List Price:  $165.00 
MAA Member Price:  $148.50 
AMS Member Price:  $132.00 
eBook ISBN:  9781470446390 
Product Code:  MMONO/214.E 
List Price:  $155.00 
MAA Member Price:  $139.50 
AMS Member Price:  $124.00 
Hardcover ISBN:  9780821827659 
eBook: ISBN:  9781470446390 
Product Code:  MMONO/214.B 
List Price:  $320.00 $242.50 
MAA Member Price:  $288.00 $218.25 
AMS Member Price:  $256.00 $194.00 
Hardcover ISBN:  9780821827659 
Product Code:  MMONO/214 
List Price:  $165.00 
MAA Member Price:  $148.50 
AMS Member Price:  $132.00 
eBook ISBN:  9781470446390 
Product Code:  MMONO/214.E 
List Price:  $155.00 
MAA Member Price:  $139.50 
AMS Member Price:  $124.00 
Hardcover ISBN:  9780821827659 
eBook ISBN:  9781470446390 
Product Code:  MMONO/214.B 
List Price:  $320.00 $242.50 
MAA Member Price:  $288.00 $218.25 
AMS Member Price:  $256.00 $194.00 

Book DetailsTranslations of Mathematical MonographsVolume: 214; 2002; 256 ppMSC: Primary 03; Secondary 28; 54
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.
ReadershipGraduate students and research mathematicians interested in foundations of mathematics and logic.

Table of Contents

Chapters

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

On a question of Grinblat


RequestsReview Copy – for publishers of book reviewsPermission – for use of book, eBook, or Journal contentAccessibility – to request an alternate format of an AMS title
 Book Details
 Table of Contents
 Requests
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.

Chapters

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

On a question of Grinblat