KnowraComputably enumerable setLinked fromLinked fromThe 2 pages that link to Computably enumerable set, each with the reason it gives.All 2Narrower topic 2Hilbert's tenth problemNarrower topic: Matiyasevich's theorem connects these sets to integer solutions of polynomial equations.Post's theoremNarrower topic: The theorem describes each Σ⁰ₙ level through enumerability relative to a jump.