1. Faculty of Engineering and Physical Sciences
  2. Events
  3. School of Mathematics
  4. Research and innovation
  5. Pure Mathematics
  6. Coding arithmetic into the Medvedev degrees

Pure Mathematics event

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
  • Download: Outlook, iCal

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.