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