The separation, uniformization, and other properties of the Borel and projective hierarchies over hyperfinite sets are investigated and compared to the corresponding properties in classical descriptive set theory. The techniques used in this investigation also provide some results about countably determined sets and functions, as well as an improvement of an earlier theorem of Kunen and Miller.

Two different equivalence relations on countable nonstandard models of the natural numbers are considered. Properties of a standard sequence A are correlated with topological properties of the equivalence classes of the transfer of A. This provides a method for translating results from analysis into theorems about sequences of natural numbers.

A combinatorial result about internal subsets of *N is proved using the Lebesgue Density Theorem. This result is then used to prove a standard theorem about difference sets of natural numbers which provides a partial answer to a question posed by Erdös and Graham.