The structure of the Bousfield lattice

Using Ohkawa's theorem that the collection of Bousfield classes is a set, we perform a number of constructions with Bousfield classes. In particular, we describe a greatest lower bound operator; we also note that a certain subset DL of the Bousfield lattice is a frame, and we examine some consequences of this observation. We make several conjectures about the structure of the Bousfield lattice and DL. In particular, we conjecture that DL is obtained by killing "strange" spectra, such as the Brown-Comenetz dual of the sphere. We introduce a new "Boolean algebra of spectra" cBA, which contains Bousfield's BA and is complete. Our conjectures allow us to identify cBA as being isomorphic to the complete atomic Boolean algebra on {K(n) : n>= 0}, {A(n) : n>= 2}, and HF_p. Our conjectures imply that BA is the subBoolean algebra consisting of finite wedges of the K(n) and A(n), and their complements.