Acceptable Numerations of Morphisms and Myhill‐Shepherdson Property
From MaRDI portal
Publication:4323830
DOI10.1002/malq.19950410105zbMath0820.03028MaRDI QIDQ4323830
Publication date: 11 September 1995
Published in: Mathematical Logic Quarterly (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1002/malq.19950410105
03D45: Theory of numerations, effectively presented structures
03D65: Higher-type and set recursion theory