We investigate the expressive power of quantifier alternation hierarchy of first-order logic over words. This hierarchy includes the classes Σi (sentences having at most i blocks of quan-tifiers starting with an ∃) and BΣi (Boolean combinations of Σi sentences). So far, this expressive power has been effectively characterized for the lower levels only.… (More)