曼纽尔·博迪尔斯基;平斯克，迈克尔;托多尔·赞科夫 可定义性的决定。 （英语） Zbl 1327.03008号 J.塞姆。日志。 78，第4期，1036-1054（2013）. 给出有限关系签名的结构。作者研究了以下算法问题的可判定性：给定其语言的无量词公式\（\phi_0，\phi_1，\ldots，\phi_n\），是否可以用\（\ph_1，\ ldots、\phi_n）作为基本谓词来找到一个本原正式，它等价于该结构上的\（\ phi_0\）？如果公式仅通过连词和存在量词从基本谓词构建而成，则称其为原正式。本文的主要结果是证明了这个问题的可判定性，以及它在某些限制条件下的一些变化：结构必须是有序的、齐次的、Ramsey的和有限有界的（参见本文中的定义）。给出了主要结果的应用，并举例说明了不可能忽略结构上的某些限制。提出了一些开放问题。审核人：安德烈·莫罗佐夫（新西伯利亚） 引用于31文件 MSC公司： 03B25号 理论和句子集的可决定性 03C40号 插值、保存、可定义性 关键词：可判定性;可定义性;原始正公式;拉姆齐构造;有限有界结构 PDF格式BibTeX公司 XML格式引用 \textit{M.Bodirsky}等人，J.Symb。日志。78，编号4，1036--1054（2013；Zbl 1327.03008） 全文： 内政部 arXiv公司 欧几里得