Saved in:
| Main Authors: | , , , |
|---|---|
| Format: | Preprint |
| Published: |
2024
|
| Subjects: | |
| Online Access: | https://arxiv.org/abs/2401.14598 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| _version_ | 1866929224969879552 |
|---|---|
| author | Calvert, Wesley Cenzer, Douglas Gonzalez, David Harizanov, Valentina |
| author_facet | Calvert, Wesley Cenzer, Douglas Gonzalez, David Harizanov, Valentina |
| contents | We study notions of generic and coarse computability in the context of computable structure theory. Our notions are stratified by the $Σ_β$ hierarchy. We focus on linear orderings. We show that at the $Σ_1$ level all linear orderings have both generically and coarsely computable copies. This behavior changes abruptly at higher levels; we show that at the $Σ_{α+2}$ level for any $α\inω_1^{ck}$ the set of linear orderings with generically or coarsely computable copies is $\mathbfΣ_1^1$-complete and therefore maximally complicated. This development is new even in the general analysis of generic and coarse computability of countable structures. In the process of proving these results we introduce new tools for understanding generically and coarsely computable structures. We are able to give a purely structural statement that is equivalent to having a generically computable copy and show that every relational structure with only finitely many relations has coarsely and generically computable copies at the lowest level of the hierarchy. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2401_14598 |
| institution | arXiv |
| publishDate | 2024 |
| record_format | arxiv |
| spellingShingle | Generically Computable Linear Orderings Calvert, Wesley Cenzer, Douglas Gonzalez, David Harizanov, Valentina Logic We study notions of generic and coarse computability in the context of computable structure theory. Our notions are stratified by the $Σ_β$ hierarchy. We focus on linear orderings. We show that at the $Σ_1$ level all linear orderings have both generically and coarsely computable copies. This behavior changes abruptly at higher levels; we show that at the $Σ_{α+2}$ level for any $α\inω_1^{ck}$ the set of linear orderings with generically or coarsely computable copies is $\mathbfΣ_1^1$-complete and therefore maximally complicated. This development is new even in the general analysis of generic and coarse computability of countable structures. In the process of proving these results we introduce new tools for understanding generically and coarsely computable structures. We are able to give a purely structural statement that is equivalent to having a generically computable copy and show that every relational structure with only finitely many relations has coarsely and generically computable copies at the lowest level of the hierarchy. |
| title | Generically Computable Linear Orderings |
| topic | Logic |
| url | https://arxiv.org/abs/2401.14598 |