Canonical Relativized Cylindric Set Algebras and Weak Associativity
Logic
2021-06-30 v2
Abstract
Canonical relativized cylindric set algebras are used to sharpen the relative representation theorem for weakly associative relation algebras, that every complete atomic weakly associative relation algebra is isomorphic with the relativization of a set relation algebra to a symmetric and reflexive binary relation, by insuring that the atoms of the set relation algebra and its relativization are orbits of single sequences under a group of permutations of the underlying set. This sharpening of the relative representation theorem was first proved for the Resek-Thompson Theorem in 1989.
Keywords
Cite
@article{arxiv.1903.02177,
title = {Canonical Relativized Cylindric Set Algebras and Weak Associativity},
author = {Roger D. Maddux},
journal= {arXiv preprint arXiv:1903.02177},
year = {2021}
}
Comments
34 pages, Chapter 13 in Outstanding Contributions to Logic, Vol. 19, Springer