The First Order Theories of the Medvedev and Muchnik Lattices

DOI10.1007/978-3-642-03073-4_33zbMath1233.03039OpenAlexW1509823070MaRDI QIDQ3576064

Andrea Sorbi, André Nies, Andrew E. M. Lewis

Publication date: 28 July 2010

Published in: Mathematical Theory and Computational Practice (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-03073-4_33

Mathematics Subject Classification ID

Other degrees and reducibilities in computability and recursion theory (03D30) Computable structure theory, computable model theory (03C57)

Related Items (2)

A Survey of Mučnik and Medvedev Degrees ⋮ Coding true arithmetic in the Medvedev degrees of \(\Pi^0_1\) classes

Cites Work

• Unnamed Item
• Unnamed Item
• Definability in the Turing degrees
• First-order theory of the degrees of recursive unsolvability
• Undecidable fragments of elementary theories
• Degree Structures: Local and Global Investigations
• ON SOME PROPERTIES OF THE MEDVEDEV LATTICE

This page was built for publication: The First Order Theories of the Medvedev and Muchnik Lattices