贾宁，D。;Lenzi，G。 二叉树的一元逻辑结构。 （英语） Zbl 0943.03033号 库蒂·奥斯基（Kutyłowski），米洛斯·aw（编辑）等，《计算机科学的数学基础》，1999年。1999年9月6日至10日，第24届国际研讨会，MFCS’99，波兰什克拉斯卡波罗巴。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。1672, 310-320 (1999). 小结：自工作以来M.O.拉宾[《美国数学学会学报》第141期，第1-35页（1969年；Zbl 0221.02031)]众所周知，具有后继函数（而不是前缀排序）的（标记）二叉树的任何一元二阶性质都是一元（Delta_3）性质。在本文中，我们证明了这个上界是最优的，因为存在一个一元（Sigma_2）公式，它说明了一条路径的存在性，其中一个给定的谓词无限频繁地保持不变，这并不等价于任何一元（Pi_2）公式。我们甚至证明了二叉树的某些一元二阶可定义性质不能由一元（Sigma_2）和（Pi_2）公式的任何布尔组合定义。这些结果特别依赖于类Ehrenfeucht-Fraíssé游戏技术在一元（Sigma_2）公式中的应用。关于整个系列，请参见[Zbl 0921.00031号]. 引用于三文件 MSC公司： 2015年3月1日 计算复杂性（包括隐式计算复杂性） 19年第68季度 描述复杂性和有限模型 03B15号机组 高阶逻辑；类型理论（MSC2010） 关键词：描述性复杂性;一元公式;埃伦菲奇-弗雷塞比赛;一元二阶逻辑;二叉树 引文：Zbl 0221.02031 PDF格式BibTeX公司 XML格式引用 \textit{D.Janin}和\textit{G.Lenzi}，莱克特。注释计算。科学。1672310--320（1999；Zbl 0943.03033）