We prove the theorem that fully describes relatively intrinsically computable relations on Boolean algebras with a distinguished set of atoms.

中文翻译：

---

具有可区分原子集的布尔代数的相对内在可计算关系

我们证明了一个定理，该定理完全描述了具有一组不同原子的布尔代数的相对固有的可计算关系。