First-order definability on finite structures
The author proves an undefinability result for a simple graph-theoretic property. He then shows that existential first-order formulas have a nontrivial hierarchy on finite structures.
scientific article; zbMATH DE number 4127181