Source: J. Symbolic Logic
Volume 73, Issue 4
We show that a set has an η-representation in a linear order if and only if it is the
range of a 0'-computable limitwise monotonic function. We also construct a
Δ₃ Turing degree for which no set in that degree has a strong η-representation,
answering a question posed by Downey.
Full-text: Access denied (no subscription
We're sorry, but we are unable to provide
you with the full text of this article because we are not able to identify
you as a subscriber.
If you have a personal subscription to
this journal, then please login. If you are already logged in, then you
may need to update your profile to register your subscription. Read more about accessing full-text
R. J. Coles, R. Downey, and B. M. Khoussainov, On initial segments of computable linear orders, Order, vol. 14 (1998), pp. 107--24.
B. Csima, D. Hirschfeldt, J. F. Knight, and R. I. Soare, Bounding prime models, Journal of Symbolic Logic, vol. 69 (2004), no. 4, pp. 1117--1142.
Rod Downey, Computability theory and linear orders, Handbook of recursive mathematics (Y. L. Ershov, S. S. Goncharov, A. Nerode, and J. B. Remmel, editors), Studies in Logic and the Foundations of Mathematics, vol. 138, Elsevier, 1998.
D. Hirschfeldt, R. Miller, and S. Podzorov, Order-computable sets, The Notre Dame Journal of Formal Logic, vol. 48 (2007), no. 3, pp. 317--347.
N. G. Khisamiev, Constructive abelian groups, Handbook of recursive mathematics (Yu. L. Ershov, S. S. Goncharov, A. Nerode, and J. B. Remmel, editors), Studies in Logic and the Foundations of Mathematics, vol. 138--139, Elsevier Science, 1998, pp. 1177--1231.
B. M. Khoussainov, A. Nies, and R. A. Shore, Computable models of theories with few models, Notre Dame Journal of Formal Logic, vol. 38 (1997), pp. 165--178.
Manuel Lerman, On recursive linear orders, Logic year 1979--80 (M. Lerman, J. H. Schmerl, and R. I. Soare, editors), Lecture Notes in Mathematics, vol. 859, 1981, pp. 132--142.
Mathematical Reviews (MathSciNet): MR619867
R. I. Soare, Recursively enumerable sets and degrees, Perspectives in Mathematics, Springer-Verlag, 1987.
Mathematical Reviews (MathSciNet): MR882921