Undecidability of Medvedev Logic

You can find the basic files here; more will be updated.

Contact

For any questions please contact Rodrigo Almeida at rodrigo.nico.almeida@gmail.com or Soren Knudstorp at s.b.knudstorp@uva.nl.