没有量词交替的定义
摘要：图论中的量词深度和最小量词交替深度的研究是为了找到定义一个图的最简单的一阶句子。本文证明了对于任意的n，都有$log^*n-log^*log^*n-1le q\_0(n)le log^*n+22$，其中$log^*n$表示将n迭代二进制对数运算直到结果小于等于1的最小次数。上界是通过构建具有非常小深度的模分解的特殊图来获得的。
作者：Oleg Pikhurko, Joel Spencer, Oleg Verbitsky
论文ID：math/0405326
分类：Logic
分类简称：math.LO
提交时间：2007-05-23