Bell, J. L., Boolean-valued models and independence proofs in set theory, 2nd ed., Oxford University Press, Oxford, 1985.
Chang, C. C. and Keisler, H. J., Model Theory, 3rd ed., North-Holland, Amsterdam, 1990.
Cohen, L. W. and Goffman, C., The topology of ordered abelian groups, Transactions of the American Mathematical Society, vol. 67 (1949), pp. 310–319.
Kamo, S., Nonstandard natural number systems and nonstandard models, this Journal, vol. 46 (1981), pp. 365–376.
Kamo, S., Non-standard real number systems with regular gaps, Tsukuba Journal of Mathematics, vol. 5 (1981), pp. 21–24.
Keisler, H. J. and Schmerl, J. H., Making the hyperreal line both saturated and complete, this Journal, vol. 56 (1991), pp. 1016–1025.
Mansfield, R., The theory of Boolean ultrapowers, Annals of Mathematical Logic, vol. 2 (1971), pp. 297–323.
Ozawa, M., Forcing in nonstandard analysis, Annals of Pure and Applied Logic, vol. 68 (1994), pp. 263–297.
Robinson, A., Non-standard analysis, North-Holland, Amsterdam, 1966.
Schmerl, J. H., Models of Peano arithmetic and a question of Sikorski on ordered fields, Israel Journal of Mathematics, vol. 50 (1985), pp. 145–159.
Scott, D., On completing ordered fields, Applications of model theory of algebra, analysis, and probability (Luxemburg, W. A. J., editor), Holt, Rinehart, and Winston, New York, 1969, pp. 274–278.
Takeuti, G. and Zaring, W. M., Axiomatic set theory, Springer-Verlag, New York, 1973.
Zakon, E., Remarks on the nonstandard real axis, Applications of model theory to algebra, analysis, and probability (Luxemburg, W. A. J., editors), Holt, Rinehart, and Winston, New York, 1969, pp. 195–227.