%0 Journal Article
%T Z-型Rabin 树理论的可判定性<br>Decidability of the Monadic Theory of Z-Rabin Trees
%A 张炎
%J 逻辑学研究
%D 2017
%X Z-型Rabin 树是Rabin 树的一种变体，它们与Rabin 树的主要区别在于不要求树根的存在，而只限制其中的极大枝与整数上的序同构。本文通过归约的方法证明，Z-型Rabin 树的一目二阶理论是可判定的。<br
%K 可判定性
%K Rabin 树
%K 归约
%K &lt
%K br&gt
%U https://studiesinlogic.sysu.edu.cn/CN/abstract/abstract286.shtml