The First Order Theories of the Medvedev and Muchnik Lattices

  • Authors:

  • Andrew Lewis;André Nies;Andrea Sorbi

  • Affiliations:

  • University of Siena, Siena, Italy 53100;Department of Computer Science, University of Auckland, New Zealand;University of Siena, Siena, Italy 53100

  • Venue:
  • CiE '09 Proceedings of the 5th Conference on Computability in Europe: Mathematical Theory and Computational Practice
  • Year:
  • 2009

Quantified Score

Hi-index 0.00

Visualization

Abstract

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.