Sciweavers

Share
CIE
2009
Springer

The First Order Theories of the Medvedev and Muchnik Lattices

9 years 2 months ago
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.
Andrew Lewis, André Nies, Andrea Sorbi
Added 14 Aug 2010
Updated 14 Aug 2010
Type Conference
Year 2009
Where CIE
Authors Andrew Lewis, André Nies, Andrea Sorbi
Comments (0)
books