26 research outputs found
The Complements of Lower Cones of Degrees and the Degree Spectra of Structures
We study Turing degrees a for which there is a countable structure whose degree spectrum is the collection {x : x ≰ a}. In particular, for degrees a from the interval [0′, 0″], such a structure exists if a′ = 0″, and there are no such structures if a″ \u3e 0‴
Generically Computable Linear Orderings
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 level
all linear orderings have both generically and coarsely computable copies. This
behavior changes abruptly at higher levels; we show that at the
level for any the set of linear
orderings with generically or coarsely computable copies is
-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.Comment: 35 page