Z-型Rabin树理论的可判定性

摘要：

Z-型Rabin树是Rabin树的一种变体,它们与Rabin树的主要区别在于不要求树根的存在,而只限制其中的极大枝与整数上的序同构.本文通过归约的方法证明,Z-型Rabin树的一目二阶理论是可判定的.

关键词：可判定性、Rabin树、归约

所属期刊栏目：10

分类号：B81(逻辑学(论理学))

在线出版日期：2017-07-05（万方平台首次上网日期，不代表论文的发表时间）

页数：共13页

页码：99-111