  We develop a framework for nonstandard analysis that gives foundations to the
interplay between external and internal iterations of the star map, and we
present a few examples to show the strength and flexibility of such a
nonstandard technique for applications in combinatorial number theory.
