  This paper describes infinite sets of polynomial equations in infinitely many
variables with the property that the existence of a solution or even an
approximate solution for every finite subset of the equations implies the
existence of a solution for the infinite set of equations.
