Cookies?
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, pp. 324-331. ISBN 9783642030727

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

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.

Item Type: Book Section
Official URL: http://link.springer.com/bookseries/558
Additional Information: © 2009 Springer
Divisions: Mathematics
Subjects: Q Science > QA Mathematics
Sets: Departments > Mathematics
Date Deposited: 06 Aug 2013 11:32
Last Modified: 20 Jan 2020 02:21
URI: http://eprints.lse.ac.uk/id/eprint/51447

Actions (login required)

View Item View Item