Martin’s Conjecture: A Classification of the Naturally Occurring Turing Degrees
Antonio Montalbán · Notices of the American Mathematical Society · 2019
This article is about naturally occurring objects in computability theory, the area inside mathematical logic that studies the complexity of infinite countable objects. Martin’s conjecture is currently one of the main open questions in computability theory and is of great foundational importance.