Sigma 1 formulae on finite structures (0)

by M Ajtai
Venue:Annals of Pure and Applied Logic