Hostname: page-component-78c5997874-s2hrs Total loading time: 0 Render date: 2024-11-16T21:13:22.782Z Has data issue: false hasContentIssue false

Minimal upper bounds for sequences of -degrees

Published online by Cambridge University Press:  12 March 2014

Alexander S. Kechris*
Affiliation:
California Institute of Technology, Pasadena, CA 91125

Extract

It is proved here, assuming Projective Determinacy, that every ascending sequence of -degrees has a minimal strict upper bound but no least strict upper bound. This generalizes a result of Friedman for n = 1.

Our general notation and terminology will be that of [Ke1] and [Mo1]. Letters i,j, k,… denote members of ω and α, β, ϒ,… members of ωω i.e. reals. Projective Determinacy (PD) is the hypothesis that every projective set of reals in determined, while in general for a collection of sets of reals Γ, Determinacy (Γ) abbreviates the statement that every set in Γ is determined.

§1. -degrees. For each m ≥ 1 and α, β Є ωω let αmβα Є (β), α <mβαmββmα, and αmβαmββmα.Clearly ≡m is an equivalence relation on ωω. The ≡m -equivalence class of α Є ωω is called its -degree, in symbols

If d = [α]m, e = [β]m then we define

Type
Research Article
Copyright
Copyright © Association for Symbolic Logic 1978

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

[Fr]Friedman, J. H., Minimality in the Δ21-degrees, Fundamenta Mathematicae, vol. 81 (1974), pp. 183192.CrossRefGoogle Scholar
[Ga-Sa]Gandy, R. O. and Sacks, G. E., A minimal hyperdegree, Fundamenta Mathematicae, vol. 61 (1967), pp. 215223.CrossRefGoogle Scholar
[Ke1]Kechris, A. S., The theory of countable analytical sets, Transactions of the American Mathematical Society, vol. 202 (1975), pp. 259297.CrossRefGoogle Scholar
[Ke2]Kechris, A. S., Measure and category in effective descriptive set theory, Annals of Mathematical Logic, vol. 5 (1973), pp. 337384.CrossRefGoogle Scholar
[Ke3]Kechris, A. S., The ordinal of the Q-degrees. II, mimeographed notes, 12 1973.Google Scholar
[Mo1]Moschovakis, Y. N., Descriptive set theory, North-Holland, Amsterdam (to appear).CrossRefGoogle Scholar
[Mo2]Moschovakis, Y. N., Uniformization in a playful universe, Bulletin of the American Mathematical Society, vol. 77 (1970), pp. 731736.CrossRefGoogle Scholar
[Sa1]Sacks, G. E., Forcing with perfect closed sets, American Mathematical Society Symposium in Pure Mathematics, vol. 13 (1971), pp. 331355.Google Scholar
[Sa2]Sacks, G. E., Countable admissible ordinals and hyperdegrees, Advances in Mathematics, vol. 20 (1976), pp. 213262.CrossRefGoogle Scholar