Quantifier alternation in a class of recursively defined tree properties

Moumanti Podder

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…