Library Header Image
LSE Research Online LSE Library Services

The first order theories of the Medvedev and Muchnik lattices

Lewis-Pye, Andrew, Nies, André and Sorbi, Andrea (2009) The first order theories of the Medvedev and Muchnik lattices. In: Ambos-Spies, Klaus, Löwe, Benedikt and Merkle, Wolfgang, (eds.) Mathematical Theory and Computational Practice: 5th Conference on Computability in Europe, Cie 2009, Heidelberg, Germany, July 1. Lecture notes in computer science (5635). Springer Berlin / Heidelberg, Berlin, pp. 324-331. ISBN 9783642030727

Full text not available from this repository.
Identification Number: 10.1007/978-3-642-03073-4_33


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.

Item Type: Book Section
Official URL:
Additional Information: © 2009 Springer
Divisions: Mathematics
Subjects: Q Science > QA Mathematics
Date Deposited: 06 Aug 2013 11:32
Last Modified: 16 May 2024 05:20

Actions (login required)

View Item View Item