Hostname: page-component-76fb5796d-dfsvx Total loading time: 0 Render date: 2024-04-25T23:40:45.261Z Has data issue: false hasContentIssue false

Constructible lattices of c-degrees

Published online by Cambridge University Press:  12 March 2014

C.P. Farrington*
Affiliation:
Leeds University, Leeds LS2 9JT, England

Extract

This paper is devoted to the proof of the following theorem.

Theorem. Let M be a countable standard transitive model of ZF + V = L, and let ℒ Є M be a wellfounded lattice in M, with top and bottom. Let ∣ℒ∣M = λ, and suppose κ ≥ λ is a regular cardinal in M. Then there is a generic extension N of M such that

(i) N and M have the same cardinals, and κN ⊂ M;

(ii) the c-degrees of sets of ordinals of N form a pattern isomorphic to ℒ;

(iii) if A ⊂ On and A Є N, there is B Є P(κ+)N such that L(A) = L(B).

The proof proceeds by forcing with Souslin trees, and relies heavily on techniques developed by Jech. In [5] he uses these techniques to construct simple Boolean algebras in L, and in [6] he uses them to construct a model of set theory whose c-degrees have orderlype 1 + ω*.

The proof also draws on ideas of Adamovicz. In [1]–[3] she obtains consistency results concerning the possible patterns of c-degrees of sets of ordinals using perfect set forcing and symmetric models. These methods have the advantage of yielding real degrees, but involve greater combinatorial complexity, in particular the use of ‘sequential representations’ of lattices.

The advantage of the approach using Souslin trees is twofold: first, we can make use of ready-made combinatorial principles which hold in L, and secondly, the notion of genericity over a Souslin tree is particularly simple.

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]Adamovicz, Zofia, On finite lattices of degrees of constructibility of reals, this Journal, vol. 41 (1976), pp. 313322.Google Scholar
[2]Adamovicz, Zofia, On finite lattices of degrees of constructibility, this Journal, vol. 42 (1977), pp. 349371.Google Scholar
[3]Adamovicz, Zofia, Constructible semi-lattices of degrees of constructibility, Set theory and hierarchy theory. V (Lachlan, A., Srebny, M. and Zarach, A., Editors), Lecture Notes in Mathematics, no. 619, Springer-Verlag, Berlin and New York.Google Scholar
[4]Devlin, Keith, Aspects of constructibility, Lecture Notes in Mathematics, no. 354, Springer-Verlag, Berlin and New York (1973).Google Scholar
[5]Jech, Thomas, Simple complete Boolean algebras, Israel Journal of Mathematics, vol. 18 (1974), pp. 110.CrossRefGoogle Scholar
[6]Jech, Thomas, Forcing with trees and ordinal definability, Annals of Mathematical Logic, vol. 7 (1974), pp. 387410.CrossRefGoogle Scholar