The first order theories of the Medvedev and Muchnik lattices

We show that the first order theories of the Medevdev lattice and the Muchnik lattice are both computably isomorphic to the third order theory of the natural numbers