Saved in:
| Main Author: | |
|---|---|
| Format: | Preprint |
| Published: |
2024
|
| Subjects: | |
| Online Access: | https://arxiv.org/abs/2406.04237 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| _version_ | 1866910835187646464 |
|---|---|
| author | Herrmann, Christian |
| author_facet | Herrmann, Christian |
| contents | It is shown that there is $N$ such that there is no algorithm to decide for identities in at most $N$ variables validity in the class of finite modular lattices. This is based on Slobodskoi's result that the Restricted Word Problem is unsolvable for the class of finite groups and relies on Freese's technique of capturing group presentations within free modular lattices. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2406_04237 |
| institution | arXiv |
| publishDate | 2024 |
| record_format | arxiv |
| spellingShingle | On the equational theory of finite modular lattices Herrmann, Christian Logic 06C05, 03D40, 06B25 It is shown that there is $N$ such that there is no algorithm to decide for identities in at most $N$ variables validity in the class of finite modular lattices. This is based on Slobodskoi's result that the Restricted Word Problem is unsolvable for the class of finite groups and relies on Freese's technique of capturing group presentations within free modular lattices. |
| title | On the equational theory of finite modular lattices |
| topic | Logic 06C05, 03D40, 06B25 |
| url | https://arxiv.org/abs/2406.04237 |