曼纽尔·博迪尔斯基;陈，胡比;平斯克，迈克尔 等式减少到原始的正互定义。 （英语） Zbl 1408.03021号 J.塞姆。日志。 75，第4期，1249-1292（2010）. 摘要：我们发起了关系结构到原始正互定义的约简研究：在为这种研究提供了工具之后，我们应用这些工具来获得等式逻辑约简的分类。事实证明，存在这样一个连续的还原过程。等价地，用泛代数的语言表示，我们将那些局部封闭的克隆分类在包含域的所有置换的可数域上。 引用于16文件 MSC公司： 03C40号 插值、保存、可定义性 08A40美元 代数结构、原代数中的运算和多项式 08A70号 泛代数在计算机科学中的应用 2015年3月1日 计算复杂性（包括隐式计算复杂性） 关键词：关系结构;还原;原始正定义;晶格;不变关系;Galois连接;本地克隆;排列 PDF格式BibTeX公司 XML格式引用 \textit{M.Bodirsky}等人，J.Symb。日志。75，编号41249-1292（2010年；兹bl 1408.03021） 全文： 内政部 arXiv公司