Limitwise monotonic sequences and degree spectra of structures

Iskander Kalimullin, Bakhadyr Khoussainov, Alexander Melnikov
2013 Proceedings of the American Mathematical Society  
We study effective monotonic approximations of sets and sequences of sets. We show that there is a sequence of sets which has no uniform computable monotonic approximation, but has an xcomputable monotonic approximation, for every hyperimmune degree x. We also construct a Σ 0 2 set which is not limitwise monotonic, but is x-limitwise monotonic relative to every nonzero ∆ 0 2 degree x. We show that if a sequence of sets is uniformly limitwise monotonic in x for all, except countably many,
more » ... ntably many, degrees x, then it has to be uniformly limitwise monotonic. Finally, we apply these results to investigate degree spectra of abelian groups, equivalence relations, and ℵ1-categorical structures.
doi:10.1090/s0002-9939-2013-11586-8 fatcat:xaugcs4clrcfxliwfmutanrlni