Similar Items: On the strictness of the quantifier structure hierarchy in first-order logic
- The recursion hierarchy for PCF is strict
- Structure Theorem and Strict Alternation Hierarchy for FO^2 on Words
- On the Mints Hierarchy in First-Order Intuitionistic Logic
- Strict Hierarchy for Quantum Channel Certification to Unitary
- Tree Languages Defined in First-Order Logic with One Quantifier Alternation
- Upper Bounds on the Quantifier Depth for Graph Differentiation in First-Order Logic