J.Richard,Büchi;史蒂文·森格 串联存在论的可定义性和该理论的不可判定扩展。 (英语) Zbl 0635.03006号 Z.数学。Logik Grundlagen数学。 34,第4期,337-342(1988). 本文研究了词上连接的可判定存在理论的扩展。证明了两个等长谓词是等价的,并且在级联中不能由方程存在定义。通过再增加一个长度谓词,得到了一个不可判定的存在论。串联和等长的存在理论是否是可判定的仍然未知。审核人:S.Senger公司 引用于12文件 MSC公司: 03B25号 理论和句子集的可决定性 关键词:串联;存在主义理论;可判定性;可定义性 PDF格式BibTeX公司 XML格式引用 \textit{J.R.Büchi}和\textit{S.Senger},Z.Math。Logik Grundlagen数学。34,第4号,337--342(1988;Zbl 0635.03006) 全文: 内政部