光泽性、强礼貌性与独角兽

光泽性和强礼貌性是与理论组合程序相关的性质。在一篇题为《Many-sorted equivalence of shiny and strongly polite theories》的论文中，Casal 和 Rasga 证明了对于可判定理论，这些性质是等价的。我们对他们的结果进行细化，表明：(i) 光泽性理论总是可判定的，因此是强礼貌的；以及 (ii) 存在（不可判定的）强礼貌理论而非光泽性。这一研究线与最近一系列旨在分类理论组合性质之间所有关系的论文紧密相关。我们最终完成了这一项目，解决了之前留下的全部剩余问题。