The Structure of Relation Algebras Generated by Relativizations

ISBN-13: 9780821851777 / Angielski / Miękka / 1994 / 134 str.

Opis

The foundation of an algebraic theory of binary relations was laid by De Morgan, Peirce, and Schroder during the second half of the nineteenth century. Modern development of the subject as a theory of abstract algebras, called relation algebras, was undertaken by Tarski and his students. This book aims to analyze the structure of relation algebras that are generated by relativized subalgebras. As examples of their potential for applications, the main results are used to establish representation theorems for classes of relation algebras and to prove existence and uniqueness theorems for simple closures (i.e., for minimal simple algebras containing a given family of relation algebras as relativized subalgebras).