Nonstandard proof of combined sum and product structure in IP${}^{\ast }$ sets

Abstract

V. Bergelson and N. Hindman proved that $I{P}^{\ast }$ sets contain all possible finite sum and product of a sum subsystem of any sequence in $\mathbb{N}$. In this article, we will prove this result using Nonstandard analysis.