On the strictness of the quantifier structure hierarchy in first-order logic

Yuguo He

We study a natural hierarchy in first-order logic, namely the quantifier structure hierarchy, which gives a systematic classification of first-order formulas based on structural qu…