一类递归定义的树性质中的量词交替
Quantifier alternation in a class of recursively defined tree properties
摘要：
交替量词深度是表达一阶逻辑句子所需的难度的自然度量。我们定义了一个序列的一阶属性的根，局部有限的树在递归的方式，并提供严格的参数，找到交替量词的深度序列中的每个属性，使用Escherichfeucht-Fraïssé游戏。
英文摘要：
Alternating quantifier depth is a natural measure of difficulty required to express first order logical sentences. We define a sequence of first order properties on rooted, locally finite trees in a recursive manner, and provide rigorous arguments for finding the alternating quantifier depth of each property in the sequence, using Ehrenfeucht-Fraïssé games.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
