Coding arithmetic into the Medvedev degrees

Paul Shafer, University of Leeds. Part of the proofs, constructions and computations seminar series.

We discuss techniques for coding arithmetic into distributive lattices and how these techniques can be implemented in the Medvedev degrees.  This allows us to describe the complexity of the first-order theory of the Medvedev degrees.