AbstractEvery Grassmannian, in its Plücker embedding, is defined by quadratic polynomials. We prove a vast, qualitative, generalisation of this fact to what we callPlücker varieties. A Plücker variety is in fact a family of varieties in exterior powers of vector spaces that, like the Grassmannian, is functorial in the vector space and behaves well under duals. A special case of our result says that for each fixed natural numberk, thek-th secant variety ofanyPlücker-embedded Grassmannian is defined in bounded degree independent of the Grassmannian. Our approach is to take the limit of a Plücker variety in the dual of a highly symmetric space known as theinfinite wedge, and to prove that up to symmetry the limit is defined by finitely many polynomial equations. For this we prove the auxiliary result that for every natural numberpthe space ofp-tuples of infinite-by-infinite matrices is Noetherian modulo row and column operations. Our results have algorithmic counterparts: every bounded Plücker variety has a polynomial-time membership test, and the same holds for Zariski-closed, basis-independent properties ofp-tuples of matrices.