Effective inseparability, lattices, and pre-ordering relations
From MaRDI portal
Publication:6312663
DOI10.1017/S1755020319000273zbMath1517.03037arXiv1901.06136MaRDI QIDQ6312663
Publication date: 18 January 2019
03D30: Other degrees and reducibilities in computability and recursion theory
03D45: Theory of numerations, effectively presented structures