We show that every countable ideal of degrees that are low for isomorphism is contained in a principal ideal of degrees that are low for isomorphism by adapting an exact pair construction. We further show that within the hyperimmune-free degrees, lowness for isomorphism is entirely independent of computable traceability.

中文翻译：

---

同构性、可数理想和可计算溯源性的低度

我们表明，通过采用精确对构造，每个可数的同构低度数理想都包含在同构低度数的主要理想中。我们进一步表明，在无超免疫程度内，同构的低度完全独立于可计算的可追溯性。