TY  - RPRT
TI  - Definitions with no quantifier alternation
AU  - Oleg Pikhurko
AU  - Joel Spencer
AU  - Oleg Verbitsky
PY  - 2005
UR  - https://arxiv.org/abs/math/0405326
ID  - math/0405326
ER  -