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.

• Type: Conference
• Year: 2009
• Where: CIE
• Authors: Andrew Lewis, André Nies, Andrea Sorbi
• Keywords: Applied Computing, CIE 2009, Medevdev Lattice, Muchnik Lattice, Order Theories