Hostname: page-component-8448b6f56d-mp689 Total loading time: 0 Render date: 2024-04-19T11:52:59.664Z Has data issue: false hasContentIssue false

Double jumps of minimal degrees over cardinals

Published online by Cambridge University Press:  12 March 2014

C. T. Chong*
Affiliation:
National University of Singapore, Singapore0511, Republic Of Singapore

Extract

Jockusch and Posner [4] showed that every minimal ω-degree is GL2. This is achieved by exhibiting a function f recursive in 0′ which dominates every function of minimal ω-degree. The function f has the peculiar property that for every s, f(s) is defined after a search (using 0′) over the power set of Ls (Gödel's constructible hierarchy at the level s). It can be seen that a function defined in a similar manner over an infinite successor cardinal k will not be a total function, since for example if k = ρ+, then f(ρ) will not be defined until after all the subsets of ρ have been examined, and this will take at least k steps. The following questions then naturally arise: (i) For successor cardinals k, is there a function dominating every set of minimal k-degree? (ii) For arbitrary cardinals k, is every minimal k-degree GL2 (i.e. b″ = (b0′) for b of minimal k-degree)? In this paper we answer (i) in the negative and provide a positive answer to (ii), assuming V = L. We show in fact that if k is a successor cardinal and hk 0′, then there is a function of minimal k-degree below 0′ not dominated by h (Theorem 1). This implies that any refinement of the function f described above will not be able to remove the difficulties encountered. On the other hand, we introduce the notion of ‘strong domination’ to provide a positive answer to (ii) (Theorem 2 and Corollary 1). We end this paper by indicating that for limit cardinals k, there is a function below 0′ dominating every function of minimal k-degree.

Type
Research Article
Copyright
Copyright © Association for Symbolic Logic 1982

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

REFERENCES

[1]Chong, C. T., Generic sets and minimal α-degrees, Transactions of the American Mathematical Society, vol. 254 (1979), pp. 157169.Google Scholar
[2]Cooper, S. B., Minimal degrees and the jump operator, this Journal, vol. 38 (1973), pp. 249271.Google Scholar
[3]Friedman, S., Negative solutions to Post's Problem II, Annals of Mathematics, vol. 113 (1981), pp. 2543.CrossRefGoogle Scholar
[4]Jockusch, C. G. and Posner, D. B., Double jumps of minimal degrees, this Journal, vol. 43 (1978), pp. 715724.Google Scholar
[5]Leggett, A., α-degrees of maximal α-r.e. sets, this Journal, vol. 43 (1978), pp. 456474.Google Scholar
[6]Posner, D. B., High degrees, Ph.D Thesis, University of California, Berkeley, 1977.Google Scholar
[7]Shore, R. A., Minimal α-degrees, Annals of Mathematical Logic, vol. 4 (1972), pp. 393414.CrossRefGoogle Scholar