Hypernatural Numbers as Ultrafilters

Mauro Di Nasso

In this paper we present a use of nonstandard methods in the theory of ultrafilters and in related applications to combinatorics of numbers.