Hostname: page-component-77c89778f8-m42fx Total loading time: 0 Render date: 2024-07-20T12:19:45.664Z Has data issue: false hasContentIssue false

Minimal upper bounds for ascending sequences of α-recursively enumerable degrees

Published online by Cambridge University Press:  12 March 2014

C. T. Chong*
Affiliation:
University of Singapore, Republic of Singapore 10

Extract

Let a be an admissible ordinal and let ∧ ≤ α be a limit ordinal. A sequence of a-r.e. degrees is said to be ascending, simultaneous and of length ∧ if (i) there is an α-recursive function t: α × ∧ → α such that, for all ϒ < ∧, A ϒ = {t(σ, ϒ)∣ σ < α} is of degree a ϒ; (ii) if ϒ < ⊤ < ∧, then a ϒα a τ and (iii) for all ϒ < ∧, there is a ⊤ > ϒ with a ϒ, >α a ϒ. Lerman [4] showed that such an exists for every ∧ ≤ α. An upper bound a of is an α-r.e. degree in which every element of is α-recursive. a is minimal if there is no α-r.e. degree b <α a which is also an upper bound of . Sacks [6] proved that every ascending sequence of simultaneously ω-r.e. degrees of length ω cannot have 0ω′, the complete ω-r.e. degree, as a minimal upper bound. In contrast, Cooper [2] showed that there exists an ascending sequence of simultaneously ω-r.e. degrees of length to having a minimal upper bound which is an ω-r.e. degree. In this paper we investigate the behavior of ascending sequences of simultaneously α-r.e. degrees for admissible ordinals α > ω. Call α Σ-admissibIe if it is Σ n -nadmissible for all n. Let Φ(∧) say: No ascending sequence of simultaneously α-r.e. degrees of length ∧ can have 0α′, the complete α-r.e. degree, as a minimal upper bound. Our main result in this paper is:

Let α be either a constructible cardinal with σ2ci(α) < α or Σ-admissible. Then σ2cf(α) is the least ordinal ν for which every ∧ ≤ α of cofinality ν (over L α) can satisfy Φ(∧).

Type
Research Article
Copyright
Copyright © Association for Symbolic Logic 1976

Access options

Get access to the full version of this content by using one of the access options below. (Log in options will check for institutional or personal access. Content may require purchase if you do not have access.)

References

BIBLIOGRAPHY

[1] Chono, C. T., Relativised incomparable α-r.e. degrees and nonbranching α-r.e. degrees, this Journal, vol. 41 (1976).Google Scholar
[2] Cooper, S. B., Minimal upper bounds for ascending sequences recursively enumerable degrees, Journal of the London Mathematical Society, vol. 5 (1972), pp. 445450.CrossRefGoogle Scholar
[3] Jensen, R. B., The fine structure of the constructible universe, Annals of Mathematical Logic, vol. 4 (1972), pp. 229309.CrossRefGoogle Scholar
[4] Lerman, M., On suborderings of the α-recursively enumerable α-degrees, Annals of Mathematical Logic, vol. 4 (1972), pp. 369392.Google Scholar
[5] Lerman, M., Maximal α-r.e. sets, Transactions of the American Mathematical Society, vol. 188 (1974), pp. 341386.Google Scholar
[6] Sacks, G. E., Degrees of unsolvability, Annals of Mathematical Studies, vol. 55, 2nd Edition, Princeton, 1966.Google Scholar
[7] Shore, R. A., Splitting an α-recursively enumerable set, Transactions of the American Mathematical Society, vol. 204 (1975), pp. 6578.Google Scholar
[8] Shore, R. A., The recursively enumerable α-degrees are dense, Annals of Mathematical Logic (to appear).Google Scholar