The Index Set of Injectively Enumerable Classes of Recursively Enumerable Sets in ∑5‐Complete
From MaRDI portal
Publication:4304153
DOI10.1002/malq.19940400112zbMath0806.03029OpenAlexW2140758900MaRDI QIDQ4304153
Publication date: 5 October 1994
Published in: Mathematical Logic Quarterly (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1002/malq.19940400112
index setarithmetical hierarchyrecursively enumerable setseffective enumerationinjectively enumerable classes
Recursively (computably) enumerable sets and degrees (03D25) Theory of numerations, effectively presented structures (03D45)
Related Items