Myhill isomorphism theorem
From Wikipedia, the free encyclopedia
For the GoodmanāMyhill theorem in constructive set theory, see Diaconescu's theorem.
In computability theory the Myhill isomorphism theorem, named after John Myhill, provides a characterization for two numberings to induce the same notion of computability on a set.