The first order theories of the Medvedev and Muchnik lattices
Lewis-Pye, A., Nies, A. & Sorbi, A.
(2009).
The first order theories of the Medvedev and Muchnik lattices.
In
Ambos-Spies, K., Löwe, B. & Merkle, W.
(Eds.),
Mathematical Theory and Computational Practice: 5th Conference on Computability in Europe, Cie 2009, Heidelberg, Germany, July 1
(pp. 324-331).
Springer Berlin / Heidelberg.
https://doi.org/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 | Chapter |
|---|---|
| Copyright holders | © 2009 Springer |
| Departments | LSE > Academic Departments > Mathematics |
| DOI | 10.1007/978-3-642-03073-4_33 |
| Date Deposited | 06 Aug 2013 |
| URI | https://researchonline.lse.ac.uk/id/eprint/51447 |
Explore Further
- https://www.scopus.com/pages/publications/76249118835 (Scopus publication)
- http://link.springer.com/bookseries/558 (Official URL)