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

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