Some applications of computable one-one numberings
From MaRDI portal
Publication:750430
DOI10.1007/BF01792984zbMath0714.03038MaRDI QIDQ750430
Publication date: 1990
Published in: Archive for Mathematical Logic (Search for Journal in Brave)
Turing degrees; computable CPO; computable one-one numberings; generalized computability; isomorphism classes of recursive functions
03D45: Theory of numerations, effectively presented structures