Advanced Topics in Relation Algebras Relation Algebras, Volume 2 /

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

Full description

Main Author: Givant, Steven. (Author, http://id.loc.gov/vocabulary/relators/aut)
Corporate Author: SpringerLink (Online service)
Language:English
Published: Cham : Springer International Publishing : Imprint: Springer, 2017.
Edition:1st ed. 2017.
Subjects:
Online Access:https://doi.org/10.1007/978-3-319-65945-9
LEADER 03767nam a22004815i 4500
001 978-3-319-65945-9
003 DE-He213
005 20210619153104.0
007 cr nn 008mamaa
008 170830s2017 gw | s |||| 0|eng d
020 |a 9783319659459  |9 978-3-319-65945-9 
024 7 |a 10.1007/978-3-319-65945-9  |2 doi 
050 4 |a QA8.9-10.3 
072 7 |a PBC  |2 bicssc 
072 7 |a MAT018000  |2 bisacsh 
072 7 |a PBC  |2 thema 
072 7 |a PBCD  |2 thema 
082 0 4 |a 511.3  |2 23 
100 1 |a Givant, Steven.  |e author.  |4 aut  |4 http://id.loc.gov/vocabulary/relators/aut 
245 1 0 |a Advanced Topics in Relation Algebras  |h [electronic resource] :  |b Relation Algebras, Volume 2 /  |c by Steven Givant. 
250 |a 1st ed. 2017. 
264 1 |a Cham :  |b Springer International Publishing :  |b Imprint: Springer,  |c 2017. 
300 |a XIX, 605 p.  |b online resource. 
336 |a text  |b txt  |2 rdacontent 
337 |a computer  |b c  |2 rdamedia 
338 |a online resource  |b cr  |2 rdacarrier 
347 |a text file  |b PDF  |2 rda 
505 0 |a Preface -- Introduction -- 14. Canonical Extensions -- 15. Completions -- 16. Representations -- 17. Representation Theorems -- 18. Varieties of Relation Algebras -- 19. Atom Structures -- Epilogue -- References -- Index. . 
520 |a 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. . 
650 0 |a Mathematical logic. 
650 0 |a Algebra. 
650 1 4 |a Mathematical Logic and Foundations.  |0 https://scigraph.springernature.com/ontologies/product-market-codes/M24005 
650 2 4 |a General Algebraic Systems.  |0 https://scigraph.springernature.com/ontologies/product-market-codes/M1106X 
710 2 |a SpringerLink (Online service) 
773 0 |t Springer Nature eBook 
776 0 8 |i Printed edition:  |z 9783319659442 
776 0 8 |i Printed edition:  |z 9783319659466 
776 0 8 |i Printed edition:  |z 9783319881362 
856 4 0 |u https://doi.org/10.1007/978-3-319-65945-9 
912 |a ZDB-2-SMA 
912 |a ZDB-2-SXMS 
950 |a Mathematics and Statistics (SpringerNature-11649) 
950 |a Mathematics and Statistics (R0) (SpringerNature-43713)