[Ca]Canjar M., Countable ultraproducts without CH, Annals of Pure and Applied Logic, vol. 37 (1988), pp. 1–79.

[CK]Chang C. C. and Keisler H. J., Model theory, 2nd ed., North-Holland, Amsterdam, 1977 (3rd ed., to appear).

[G1]Gonshor H., Remarks on the Dedekind completion of a nonstandard model of the reals, Pacific Journal of Mathematics, vol. 118 (1985), pp. 117–132.

[G2]Gonshor H., The ring of finite elements is a nonstandard model of the reals, Journal of the London Mathematical Society, ser. 2, vol. 3 (1971), pp. 493–500.

[H1]Henson C. W., Analytic sets, Baire sets, and the standard part map, Canadian Journal of Mathematics, vol. 31 (1979), pp. 663–672.

[H2]Henson C. W., Unbounded Loeb measures, Proceedings of the American Mathematical Society, vol. 74 (1979), pp. 143–150.

[HR]Henson C. W. and Ross D., *Analytic mappings on finite sets* (to appear).

[Ka]Kamo S., Nonstandard natural number systems and nonstandard models, this Journal, vol. 46 (1981), pp. 365–376.

[KS]Kauffman M. and Schmerl J., Saturated and simple extensions of models of PA, Annals of Pure and Applied Logic, vol. 27 (1984), pp. 109–136.

[K1]Keisler H. J., Monotone complete fields, Victoria symposium on nonstandard analysis (1974) (Hurd A. and Loeb P., editors). Lecture Notes in Mathematics, vol. 369, Springer-Verlag, Berlin, 1974, pp. 113–115.

[K2]Keisler H. J., Ultrapowers which are not saturated, this Journal, vol. 32 (1967), pp. 23–46.

[K3]Keisler H. J., Ultraproducts of finite sets, this Journal, vol. 32 (1967), pp. 47–57.

[K4]Keisler H. J., Limit ultrapowers, Transactions of the American Mathematical Society, vol. 107 (1963), pp. 383–408.

[KKML]Keisler H. J., Kunen K., Miller A., and Leth S., Descriptive set theory over hyperfinite sets, this Journal, vol. 54 (1989), pp. 1167–1180.

[Kh]Khoury A., Modern infinitesimal analysis: foundations, methods, and applications, Ph.D. thesis, Columbia University, New York, 1981.

[Ko]Kotlarski H., On cofinal extensions of models of arithmetic, this Journal, vol. 48 (1983), pp. 253–262.

[L1]Leth S., Sequences in countable nonstandard models of the natural numbers, Studia Logica, vol. 47 (1988), pp. 63–83.

[L2]Leth S., Applications of nonstandard models and Lebesgue measure to sequences of natural numbers, Transactions of the American Mathematical Society, vol. 307 (1988), pp. 457–468.

[LR]Lightstone A. H. and Robinson A., Non-Archimedean fields and asymptotic analysis, North-Holland, Amsterdam, 1975.

[Lo]Loeb P., Conversion from nonstandard to standard measure spaces and applications in probability theory, Transactions of the American Mathematical Society, vol. 211 (1975), pp. 113–122.

[M1]Miller A., Special subsets of the real line. Handbook of set-theoretic topology (Kunen K. and Vaughan J. E., editors), North-Holland, Amsterdam, 1984, pp. 201–234.

[M2]Miller A., Set-theoretic properties of Loeb measure, this Journal, vol. 55 (1990), pp. 1022–1036.

[P]Pabion J. F., Saturated models of Peano arithmetic, this Journal, vol. 47 (1982), pp. 625–637.

[R]Robinson A., Nonstandard analysis, North-Holland, Amsterdam, 1966.

[S]Scott D., On completing ordered fields, Applications of model theory to algebra, analysis, and probability (Luxemburg W. A. J., editor), Holt, Rinehart and Winston, New York, 1969, pp. 274–278.

[Sh]Shelah S., Classification theory and the number of nonisomorphic models, North-Holland, Amsterdam, 1978.

[SB]Stroyan K. D. and Bayod J. M., Foundations of infinitesimal stochastic analysis, North-Holland, Amsterdam, 1986.

[Za]Zakon E., Remarks on the nonstandard real axis, Applications of model theory to algebra, analysis, and probability (Luxemburg W. A. J., editor), Holt, Rinehart and Winston, New York, 1969, pp. 195–227.

[Ž1]Živaljević B., Some results about Borel sets in descriptive set theory of hyperfinite sets, this Journal, vol. 55 (1990), pp. 604–614.

[Ž2]Živaljević B., Hyperfinite transversal theory, Transactions of the American Mathematical Society (to appear).