Saved in:
| Main Authors: | , |
|---|---|
| Format: | Preprint |
| Published: |
2026
|
| Subjects: | |
| Online Access: | https://arxiv.org/abs/2605.04490 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| _version_ | 1866909016789090304 |
|---|---|
| author | Cordero, Antonio Nakid Scott, I. |
| author_facet | Cordero, Antonio Nakid Scott, I. |
| contents | Motivated by Ziegler's computability-theoretic characterisation of finite absolute presentability between groups, we prove an analogous theorem in symbolic dynamics. We introduce the notion of one subshift being finitely determined over another and show that this relation is characterised by Ziegler reducibility between their co-languages. We further investigate a notion of existential closure for subshifts. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2605_04490 |
| institution | arXiv |
| publishDate | 2026 |
| record_format | arxiv |
| spellingShingle | Comparing the Effective Content of Subshifts Cordero, Antonio Nakid Scott, I. Logic 03D40, 03D28, 37B10 Motivated by Ziegler's computability-theoretic characterisation of finite absolute presentability between groups, we prove an analogous theorem in symbolic dynamics. We introduce the notion of one subshift being finitely determined over another and show that this relation is characterised by Ziegler reducibility between their co-languages. We further investigate a notion of existential closure for subshifts. |
| title | Comparing the Effective Content of Subshifts |
| topic | Logic 03D40, 03D28, 37B10 |
| url | https://arxiv.org/abs/2605.04490 |