Find link

language:

Find link is a tool written by Edward Betts.

searching for Turing degree 2 found (38 total)

Low basis theorem (570 words) [view diff] exact match in snippet view article find links to article

{\displaystyle \Pi _{1}^{0}} S⊆2ω, the (unique) X∈S minimizing f(X) has a low Turing degree. This is because X satisfies {i}(X)↓ ⇔ ∀Y∈S ({i}(Y)↓ ∨ ∃j<i ({j}(Y)↓

S2S (mathematics) (4,618 words) [view diff] exact match in snippet view article

(1–3): 55–68. doi:10.1007/BF02760646. S2CID 15807840. "What is the Turing degree of the monadic theory of the real line?". MathOverflow. Retrieved November