Combinational functors on co-r.e. structures
From MaRDI portal
Publication:4113823
DOI10.1016/0003-4843(76)90010-3zbMath0345.02033MaRDI QIDQ4113823
Publication date: 1976
Published in: Annals of Mathematical Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/0003-4843(76)90010-3
03D50: Recursive equivalence types of sets and structures, isols
03D99: Computability and recursion theory
Related Items
\(\Sigma_1^0\) and \(\Pi_1^0\) equivalence structures, Generic objects in recursion theory. II: Operations on recursive approximation spaces, $\Sigma^0_1$ and $\Pi^0_1$ Equivalence Structures