Saved in:
| Main Author: | |
|---|---|
| Format: | Preprint |
| Published: |
2025
|
| Subjects: | |
| Online Access: | https://arxiv.org/abs/2508.06925 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| _version_ | 1866918120942206976 |
|---|---|
| author | Gerdes, Peter M. |
| author_facet | Gerdes, Peter M. |
| contents | A relatively new topic in computability theory is the study of notions of computation that are robust against mistakes on some kind of small set. However, despite the recent popularity of this topic relatively foundational questions about the notions of reducibility involved still persist. In this paper, we examine two notions of robust information coding, effective dense reducibility and coarse reducibility and answer the question posed in [1]: whether the degrees of functions under these reductions are the same as the degrees of sets. Despite the surface similarity of these two reducibilities we show that every uniform coarse degree contains a set but that this fails even for the non-uniform effective dense degrees. We then further distinguish these two notions by showing that whether g is coarsely reducible to f is an arithmetic property of f and g while for non-uniform effective dense reducibility it is a $Π^1_1$ complete property. To prove these results we introduce notions of forcing that allow us to build generic effective dense and coarse descriptions which may be of use in further exploration of these topics - including the open questions we pose in the final section. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2508_06925 |
| institution | arXiv |
| publishDate | 2025 |
| record_format | arxiv |
| spellingShingle | Comparing Notions of Dense Computability on $ω^ω$ and $2^ω$ Gerdes, Peter M. Logic 03D30 (Primary) A relatively new topic in computability theory is the study of notions of computation that are robust against mistakes on some kind of small set. However, despite the recent popularity of this topic relatively foundational questions about the notions of reducibility involved still persist. In this paper, we examine two notions of robust information coding, effective dense reducibility and coarse reducibility and answer the question posed in [1]: whether the degrees of functions under these reductions are the same as the degrees of sets. Despite the surface similarity of these two reducibilities we show that every uniform coarse degree contains a set but that this fails even for the non-uniform effective dense degrees. We then further distinguish these two notions by showing that whether g is coarsely reducible to f is an arithmetic property of f and g while for non-uniform effective dense reducibility it is a $Π^1_1$ complete property. To prove these results we introduce notions of forcing that allow us to build generic effective dense and coarse descriptions which may be of use in further exploration of these topics - including the open questions we pose in the final section. |
| title | Comparing Notions of Dense Computability on $ω^ω$ and $2^ω$ |
| topic | Logic 03D30 (Primary) |
| url | https://arxiv.org/abs/2508.06925 |