Effective inseparability, lattices, and pre-ordering relations

DOI10.1017/S1755020319000273zbMath1517.03037arXiv1901.06136MaRDI QIDQ6312663

Andrea Sorbi, Uri Andrews

Publication date: 18 January 2019

Mathematics Subject Classification ID

03D30: Other degrees and reducibilities in computability and recursion theory

03D45: Theory of numerations, effectively presented structures