Finitely many implies infinitely many

Many mathematical statements have the following form. If something is true for all finite subsets of an infinite set I, then it is true for all of I. This paper describes some old and new results on infinite sets of linear and polynomial equations with the property that solutions for all finite subsets of the set of equations imply the existence of a solution for the infinite set of equations.