规范相对化柱面集代数与弱结合性
逻辑
2021-06-30 v2
摘要
规范相对化柱面集代数被用于锐化弱结合关系代数的相对表示定理，即每个完备原子弱结合关系代数同构于一个集关系代数相对于一个对称且自反的二元关系的相对化，其方式是确保集关系代数及其相对化的原子是底层集合上置换群作用下单一序列的轨道。这一相对表示定理的锐化最早于 1989 年为 Resek-Thompson 定理所证明。
引用
@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}
}
备注
34 pages, Chapter 13 in Outstanding Contributions to Logic, Vol. 19, Springer