Proves a polynomial multiple recurrence theorem for finitely, many commuting, measure-preserving transformations of a probability space, extending a polynomial Szemeredi theorem. Several applications to the structure of recurrence in ergodic theory are given, some of which invol…