Coding arithmetic into the Medvedev degrees
- Date: Wednesday 24 October 2018, 14:00 – 15:00
- Location: Mathematics Level 8, MALL 1, School of Mathematics
- Type: Proofs, Constructions and Computations, Seminars, Pure Mathematics
- Cost: Free
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.