Skip to main content
Article thumbnail
Location of Repository


By Richard A. Shore and Bjørn Kjos-hanssen


We a ¢ rm a conjecture of Sacks [1972] by showing that every countable distributive lattice is isomorphic to an initial segment of the hyperdegrees, Dh. In fact, we prove that every sublattice of any hyperarithmetic lattice (and so, in particular, every countable locally …nite lattice) is isomorphic to an initial segment of Dh. Corollaries include the decidability of the two quanti…er theory of Dh and the undecidability of its three quanti…er theory. The key tool in the proof is a new lattice representation theorem that provides a notion of forcing for which we can prove a version of the fusion lemma in the hyperarithmetic setting and so the preservation of! CK 1. Somewhat surprisingly, the set theoretic analog of this forcing does not preserve!1. On the other hand, we construct countable lattices that are not isomorphic to an initial segment of Dh.

Year: 2007
OAI identifier: oai:CiteSeerX.psu:
Provided by: CiteSeerX
Download PDF:
Sorry, we are unable to provide the full text but you may find it at the following location(s):
  • (external link)
  • (external link)
  • Suggested articles

    To submit an update or takedown request for this paper, please submit an Update/Correction/Removal Request.