Before revision: Example First-order formula with one universal quantification and first-order formula where all existential quantifications appear firsts in the formula has got the fmp.Leonid Libkin, Elements of finite model theory, chap 1
After revision: Example First-order formula with one universal quantification and first-order formula where all existential quantifications appear first in the formula has the fmp.Leonid Libkin, Elements of finite model theory, chap 1