The Journal of Symbolic Logic

Research Article

Embedding finite lattices into the Σ2 0 enumeration degrees

Steffen Lemppa1 and Andrea Sorbia2

a1 University of Wisconsin, Department of Mathematics, Madison, WI 53706-1388, USA, E-mail:

a2 Università Di Siena, Dipartimento Di Matematica, 1-53100 Siena, Italy, E-mail:


We show that every finite lattice is embeddable into the Σ2 0 enumeration degrees via a lattice-theoretic embedding which preserves 0 and 1.

(Received October 02 2000)


  Partially supported by NSF grant DMS-9504474.

  Partially supported by MURST 60%.