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
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 |
| Date Deposited: | 06 Aug 2013 11:32 |
| Last Modified: | 11 Sep 2025 01:06 |
| URI: | http://eprints.lse.ac.uk/id/eprint/51447 |
Actions (login required)
 |
View Item |
