Journal of Symbolic Logic

A characterization of the 0-basis homogeneous bounding degrees

Karen Lange

Full-text: Access denied (no subscription detected)

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

Abstract

We say a countable model 𝒜 has a 0-basis if the types realized in 𝒜 are uniformly computable. We say 𝒜 has a (d-)decidable copy if there exists a model ℬ≅𝒜 such that the elementary diagram of ℬ is (d-)computable. Goncharov, Millar, and Peretyat'kin independently showed there exists a homogeneous model 𝒜 with a 0-basis but no decidable copy. We extend this result here. Let d0' be any low₂ degree. We show that there exists a homogeneous model 𝒜 with a 0-basis but no d-decidable copy. A degree d is 0-basis homogeneous bounding if any homogenous 𝒜 with a 0-basis has a d-decidable copy. In previous work, we showed that the nonlow₂ Δ₂⁰ degrees are 0-basis homogeneous bounding. The result of this paper shows that this is an exact characterization of the 0-basis homogeneous bounding Δ₂⁰ degrees.

Article information

Source
J. Symbolic Logic, Volume 75, Issue 3 (2010), 971-995.

Dates
First available in Project Euclid: 9 July 2010

Permanent link to this document
https://projecteuclid.org/euclid.jsl/1278682211

Digital Object Identifier
doi:10.2178/jsl/1278682211

Mathematical Reviews number (MathSciNet)
MR2723778

Zentralblatt MATH identifier
1213.03045

Citation

Lange, Karen. A characterization of the 0 -basis homogeneous bounding degrees. J. Symbolic Logic 75 (2010), no. 3, 971--995. doi:10.2178/jsl/1278682211. https://projecteuclid.org/euclid.jsl/1278682211


Export citation