Abstract
When Tarski first created the abstract theory of relation algebras by proposing in [132] a finite set of axioms for the calculus of relations (essentially equivalent to the axioms presented in Definition 2.1), he immediately raised two questions that were not settle for some time. First, he asked whether every abstract relation algebra—that is to say, is every model of his finite set of axioms—is isomorphic to a concrete algebra of binary relations.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Author information
Authors and Affiliations
Rights and permissions
Copyright information
© 2017 Springer International Publishing AG
About this chapter
Cite this chapter
Givant, S. (2017). Representations. In: Advanced Topics in Relation Algebras. Springer, Cham. https://doi.org/10.1007/978-3-319-65945-9_3
Download citation
DOI: https://doi.org/10.1007/978-3-319-65945-9_3
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-65944-2
Online ISBN: 978-3-319-65945-9
eBook Packages: Mathematics and StatisticsMathematics and Statistics (R0)