Z-型Rabin树理论的可判定性
发布时间：2019-05-06 18:53
【摘要】：Z-型Rabin树是Rabin树的一种变体,它们与Rabin树的主要区别在于不要求树根的存在,而只限制其中的极大枝与整数上的序同构。本文通过归约的方法证明,Z-型Rabin树的一目二阶理论是可判定的。
[Abstract]:Z-type Rabin tree is a variant of Rabin tree. The main difference between Z-type tree and Rabin tree is that they do not require the existence of tree roots, but only restrict the order isomorphism of maximal branches and integers. In this paper, we prove that the second-order theory of Z-type Rabin tree is determinable by the method of reduction.
【作者单位】： 中国人民大学哲学院;
【分类号】：B81
，
本文编号：2470407
[Abstract]:Z-type Rabin tree is a variant of Rabin tree. The main difference between Z-type tree and Rabin tree is that they do not require the existence of tree roots, but only restrict the order isomorphism of maximal branches and integers. In this paper, we prove that the second-order theory of Z-type Rabin tree is determinable by the method of reduction.
【作者单位】： 中国人民大学哲学院;
【分类号】：B81
，
本文编号：2470407
本文链接：https://www.wllwen.com/shekelunwen/ljx/2470407.html
