This paper investigates
{0,∞}-valued, translation invariant measures on the set N of positive integers. The
main tool in this investigation is Nonstandard Analysis and especially the
completion, ♯R, in the sense of Dedekind of the Nonstandard Reals, ∗R. The
algebraic and topological properties of ♯R are developed and exploited to obtain a
classification theorem for a particularly nice class of {0,∞}-valued, translation
invariant measures on N.