1. P. Erdös and R. L. Graham, Old and New Problems and Results in Combinatorial Number Theory, L'Enseignment Mathématique, Université de Genève, 1980.
2. H. Halberstam and K. F. Roth, Sequences, Oxford University Press, London, 1966.
3. C. W. Henson, C. W. M. Kaufmann and H. J. Keisler, The strength of nonstandard methods in arithmetic, Journal of Symbolic Logic 49 (1984), pp. 1039?1058.
4. G. Kreisel, Axiomatizations of nonstandard analysis that are conservative extensions of formal systems for classical analysis, in: Applications of Model Theory to Algebra, Analysis and Probability, W. A. J. Luxemburg (ed.), Holt, Rinehart and Winston, New York, 1969.
5. S. Leth. Sequences in countable nonstandard models of the natural numbers, this volume.