Relation algebras containing Thompson groups
Fuente:
arXiv
Enregistré dans:
| Auteur principal: | |
|---|---|
| Format: | Preprint |
| Publié: |
2023
|
| Sujets: | |
| Accès en ligne: | |
| Tags: |
Ajouter un tag
Pas de tags, Soyez le premier à ajouter un tag!
|
| _version_ | 1866912121210535936 |
|---|---|
| author | Maddux, Roger D. |
| author_facet | Maddux, Roger D. |
| contents | The connections between Tarski's relation algebras and Thompson's groups F, T, V, and his monoid M are reviewed here, along with Jonsson-Tarski algebras, fork algebras, true pairing algebras, and tabular relation algebras. All of these algebras are related to the finitization problem and to Tarski's formalization of set theory without variables.
Most of the technical details occur in the variety of J-algebras, which is obtained from relation algebras by omitting union and complementation and adopting a set of axioms created by Jonsson. Every relation algebra or J-algebra that contains a pair of conjugated quasiprojections satisfying the Domain and Unicity conditions, such as those that arise from Jonsson-Tarski algebras or fork algebras, will also contain homomorphic images of F, T, V, and M.
The representability of tabular relation algebras is extended here to J-algebras, using a notion of tabularity that is equivalent among relation algebras to the original definition. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2309_13366 |
| institution | arXiv |
| publishDate | 2023 |
| record_format | arxiv |
| spellingShingle | Relation algebras containing Thompson groups Maddux, Roger D. Logic 03G15, 20E08, 20F05, 20F10 The connections between Tarski's relation algebras and Thompson's groups F, T, V, and his monoid M are reviewed here, along with Jonsson-Tarski algebras, fork algebras, true pairing algebras, and tabular relation algebras. All of these algebras are related to the finitization problem and to Tarski's formalization of set theory without variables. Most of the technical details occur in the variety of J-algebras, which is obtained from relation algebras by omitting union and complementation and adopting a set of axioms created by Jonsson. Every relation algebra or J-algebra that contains a pair of conjugated quasiprojections satisfying the Domain and Unicity conditions, such as those that arise from Jonsson-Tarski algebras or fork algebras, will also contain homomorphic images of F, T, V, and M. The representability of tabular relation algebras is extended here to J-algebras, using a notion of tabularity that is equivalent among relation algebras to the original definition. |
| title | Relation algebras containing Thompson groups |
| topic | Logic 03G15, 20E08, 20F05, 20F10 |
| url | https://arxiv.org/abs/2309.13366 |