Spectra and halting problems

DOI10.1002/malq.19750210122zbMath0309.02049OpenAlexW2131469967MaRDI QIDQ4067087

Louise Hay

Publication date: 1975

Published in: Mathematical Logic Quarterly (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1002/malq.19750210122

Mathematics Subject Classification ID

Classical first-order logic (03B10) Recursively (computably) enumerable sets and degrees (03D25) Other degrees and reducibilities in computability and recursion theory (03D30) Turing machines and related notions (03D10)

Related Items

Computational complexity, speedable and levelable sets