Foundations of iterated star maps and their use in combinatorics

Mauro Di Nasso,Renling Jin
2024-06-08
Abstract: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.
Combinatorics,Logic
What problem does this paper attempt to address?