Abstract
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.
Similar content being viewed by others
References
P. Erdös, Personal Communication.
J. Hirschfeld and M. Machover, Lectures on Nonstandard Analysis, V. 94, Lecture Notes in Mathematics, Springer, Berlin, 1969.
H. Halberstam and K. F. Roth, Sequences, Oxford University Press, London, 1966.
C. W. Henson, M. Kaufmann and H. J. Keisler, The strength of nonstandard methods in arithmetic, The Journal of Symbolic Logic 49 (1984), pp. 1039–1058.
S. Leth, Applications of nonstandard models and Lebesgue measure to sequences of natural numbers, to appear in Transactions of the American Mathematical Society, April 1988.
S. Leth, Some nonstandard methods in combinatorial number theory, this volume.
J. Merrill, Some results in set theory and related fields, Ph. D. dissertation, University of Wisconsin, 1986.
A. Robinson, Nonstandard Analysis, North-Holland, Amsterdam, 1966.
I. Ruzsa, On a problem of P. Erdös, Canadian Mathematical Bulletin 15 (1972), pp. 309–310.
W. Schmidt, Personal Communication.
Author information
Authors and Affiliations
Additional information
Most of the results in this paper appeared in the author's Ph.D. dissertation at the University of Colorado, 1985.
Rights and permissions
About this article
Cite this article
Leth, S.C. Sequences in countable nonstandard models of the natural numbers. Stud Logica 47, 243–263 (1988). https://doi.org/10.1007/BF00370555
Received:
Issue Date:
DOI: https://doi.org/10.1007/BF00370555