Relation Algebras by Games

Relation Algebras by Games
Author :
Publisher : Gulf Professional Publishing
Total Pages : 722
Release :
ISBN-13 : 0444509321
ISBN-10 : 9780444509321
Rating : 4/5 (21 Downloads)

Book Synopsis Relation Algebras by Games by : Robin Hirsch

Download or read book Relation Algebras by Games written by Robin Hirsch and published by Gulf Professional Publishing. This book was released on 2002-08-15 with total page 722 pages. Available in PDF, EPUB and Kindle. Book excerpt: In part 2, games are introduced, and used to axiomatise various classes of algebras. Part 3 discusses approximations to representability, using bases, relation algebra reducts, and relativised representations. Part 4 presents some constructions of relation algebras, including Monk algebras and the 'rainbow construction', and uses them to show that various classes of representable algebras are non-finitely axiomatisable or even non-elementary. Part 5 shows that the representability problem for finite relation algebras is undecidable, and then in contrast proves some finite base property results. Part 6 contains a condensed summary of the book, and a list of problems. There are more than 400 exercises. P The book is generally self-contained on relation algebras and on games, and introductory text is scattered throughout. Some familiarity with elementary aspects of first-order logic and set theory is assumed, though many of the definitions are given.-


Relation Algebras by Games Related Books

Relation Algebras by Games
Language: en
Pages: 722
Authors: Robin Hirsch
Categories: Mathematics
Type: BOOK - Published: 2002-08-15 - Publisher: Gulf Professional Publishing

DOWNLOAD EBOOK

In part 2, games are introduced, and used to axiomatise various classes of algebras. Part 3 discusses approximations to representability, using bases, relation
Relational and Algebraic Methods in Computer Science
Language: en
Pages: 309
Authors: Roland Glück
Categories: Computers
Type: BOOK - Published: 2023-03-07 - Publisher: Springer Nature

DOWNLOAD EBOOK

This book constitutes the proceedings of the 20th International Conference on Relational and Algebraic Methods in Computer Science, RAMiCS 2023, which took plac
The Bulletin of Symbolic Logic
Language: en
Pages: 688
Authors:
Categories: Electronic journals
Type: BOOK - Published: 2004 - Publisher:

DOWNLOAD EBOOK

Foundations of the Formal Sciences V
Language: en
Pages: 376
Authors: Stefan Bold
Categories: Computers
Type: BOOK - Published: 2007 - Publisher:

DOWNLOAD EBOOK

Infinity can feature in games in various forms: we can play games of infinite length, with infinitely many players, or allow for infinitely many moves or strate
Mathematical Reviews
Language: en
Pages: 986
Authors:
Categories: Mathematics
Type: BOOK - Published: 2003 - Publisher:

DOWNLOAD EBOOK