Abstract
One can sometimes establish a certain property for a class of relation algebras by applying the following strategy. First, prove that all complete and atomic relation algebras in the class possess the property, and then show that the property is inherited by subalgebras. If the class in question is closed under the formation of canonical extensions, that is to say, if the canonical extension of every algebra in the class also belongs to the class, then every algebra in the class will possess the desired property. Canonical extensions, however, do have a serious disadvantage from this perspective, because all properly infinite sums and products in the original algebra are changed in the passage to the canonical extension, and (in the infinite case) new atoms are introduced even when the original algebra is atomic. Consequently, if the property in question involves properly infinite sums or products, or atoms, in the original algebra, then the above strategy may fail. What one would like is an extension that is complete, with the same atoms as in the original algebra, and in which all existing infinite sums and products of the original algebra are preserved. Fortunately, such an extension exists, and in fact it satisfies a very nice minimality condition.
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). Completions. In: Advanced Topics in Relation Algebras. Springer, Cham. https://doi.org/10.1007/978-3-319-65945-9_2
Download citation
DOI: https://doi.org/10.1007/978-3-319-65945-9_2
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)