Combinational functors on co-r.e. structures

DOI10.1016/0003-4843(76)90010-3zbMath0345.02033OpenAlexW1979187227MaRDI QIDQ4113823

Jeffery B. Remmel

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

Mathematics Subject Classification ID

Recursive equivalence types of sets and structures, isols (03D50) Computability and recursion theory (03D99)

Related Items

\(\Sigma_1^0\) and \(\Pi_1^0\) equivalence structures, $\Sigma^0_1$ and $\Pi^0_1$ Equivalence Structures, Generic objects in recursion theory. II: Operations on recursive approximation spaces