Advanced Topics in Relation Algebras: Relation Algebras, Volume 2

ISBN-13: 9783319659442 / Angielski / Twarda / 2017 / 605 str.

Steven Givant

Opis

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.

Recenzje

"This second volume of the book 'is aimed at ... graduate students and professionals in a variety of mathematical disciplines, especially various branches of logic, universal algebra, and theoretical computer science' and may serve both as a textbook and a reference. Like the first volume, it is also appropriate for independent study." (Janis Cirulis, zbMATH 1436.03001, 2020)

Spis treści

Preface.- Introduction.- 14. Canonical Extensions.- 15. Completions.- 16. Representations.- 17. Representation Theorems.- 18. Varieties of Relation Algebras.- 19. Atom Structures.- Epilogue.- References.- Index.  

O autorze

Steven Givant is a Professor of Mathematics and Computer Science at Mills College, California. As a long-term collaborator of Alfred Tarski—one of the great logicians—Givant has been involved first-hand in the development of the field of relation algebras since the 1970s. His previous books include Duality Theories for Boolean Algebras with Operators (Springer, 2014), Introduction to Boolean Algebras, with Paul Halmos (Springer, 2009), Logic as Algebra, with Paul Halmos (MAA, 1998), and A Formalization of Set Theory without Variables, with Alfred Tarski (AMS, 1987). He was also coeditor, with Ralph McKenzie, of Alfred Tarski's Collected Papers: Vol 1-4 (Birkhäuser, 1986).

Blurb

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.