Generically Computable Linear Orderings
Preprint
Abstract
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.
Keywords
All Related Versions
This publication has 15 references indexed in Scilit:
- Densely computable structuresJournal of Logic and Computation, 2021
- THE COMPLEXITY OF SCOTT SENTENCES OF SCATTERED LINEAR ORDERSThe Journal of Symbolic Logic, 2020
- Generic computability, Turing degrees, and asymptotic densityJournal of the London Mathematical Society, 2012
- Computable shuffle sums of ordinalsArchive for Mathematical Logic, 2008
- Enumerations in computable structure theoryAnnals of Pure and Applied Logic, 2005
- Generic-case complexity, decision problems in group theory, and random walksJournal of Algebra, 2003
- Degrees of orderings not isomorphic to recursive linear orderingsAnnals of Pure and Applied Logic, 1991
- Recursively Categorical Linear OrderingsProceedings of the American Mathematical Society, 1981
- Autostability of modelsAlgebra and Logic, 1980
- On the algorithmic insolvability of the word problem in group theory1958