×

串联存在论的可定义性和该理论的不可判定扩展。 (英语) Zbl 0635.03006号

本文研究了词上连接的可判定存在理论的扩展。证明了两个等长谓词是等价的,并且在级联中不能由方程存在定义。通过再增加一个长度谓词,得到了一个不可判定的存在论。串联和等长的存在理论是否是可判定的仍然未知。
审核人:S.Senger公司

MSC公司:

03B25号 理论和句子集的可决定性
PDF格式BibTeX公司 XML格式引用
全文: 内政部