  We study the minimal number of existential quantifiers needed to define a
diophantine set over a field and relate this number to the essential dimension
of the functor of points associated to such a definition.
