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: 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

Copy

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	Mathematics
DOI	10.1007/978-3-642-03073-4_33
Date Deposited	06 Aug 2013 11:32
URI	https://researchonline.lse.ac.uk/id/eprint/51447

Explore Further

QA Mathematics

http://link.springer.com/bookseries/558 (Official URL)

Full text not available from this repository.

Atom

BibTeX

OpenURL ContextObject in Span

OpenURL ContextObject

Dublin Core

MPEG-21 DIDL

Data Cite XML

EndNote

HTML Citation

METS

MODS

RIOXX2 XML

Reference Manager

Refer

ASCII Citation

Export

Downloads