Hostname: page-component-78c5997874-j824f Total loading time: 0 Render date: 2024-11-19T03:47:42.988Z Has data issue: false hasContentIssue false

Making the hyperreal line both saturated and complete

Published online by Cambridge University Press:  12 March 2014

H. Jerome Keisler
Affiliation:
Department of Mathematics, University of Wisconsin, Madison, Wisconsin 53706
James H. Schmerl
Affiliation:
Department of Mathematics, University of Connecticut, Storrs, Connecticut 06268

Abstract

In a nonstandard universe, the κ-saturation property states that any family of fewer than κ internal sets with the finite intersection property has a nonempty intersection. An ordered field F is said to have the λ-Bolzano-Weierstrass property iff F has cofinality λ and every bounded λ-sequence in F has a convergent λ-subsequence. We show that if κ < λ are uncountable regular cardinals and βα < λ whenever α < κ and β < λ then there is a κ-saturated nonstandard universe in which the hyperreal numbers have the λ-Bolzano-Weierstrass property. The result also applies to certain fragments of set theory and second order arithmetic.

Type
Research Article
Copyright
Copyright © Association for Symbolic Logic 1991

Access options

Get access to the full version of this content by using one of the access options below. (Log in options will check for institutional or personal access. Content may require purchase if you do not have access.)

References

REFERENCES

[BS] Barwise, J. and Schlipf, J., On recursively saturated models of arithmetic, Model theory and algebra (Saracino, D. H. and Weispfenning, V. B., editors), Lecture Notes in Mathematics, vol. 498, Springer-Verlag, Berlin, 1975, pp. 4255.CrossRefGoogle Scholar
[CK] Chang, C. C. and Keisler, H. J., Model theory, 3rd ed., North-Holland, Amsterdam, 1990 (2nd ed., 1977).Google Scholar
[CL] Cowles, J. and Lagrange, R., Generalized Archimedean fields, Notre Dame Journal of Formal Logic, vol. 24 (1983), pp. 133140.CrossRefGoogle Scholar
[Kam1] Kamo, S., Nonstandard natural number systems and nonstandard models, this Journal, vol. 46 (1981), pp. 365376.Google Scholar
[Kam2] Kamo, S., Nonstandard real number systems with regular gaps, Tsukuba Journal of Mathematics, vol. 5 (1981), pp. 2124.CrossRefGoogle Scholar
[Kau] Kaufmann, M., A rather classless model, Proceedings of the American Mathematical Society, vol. 62 (1977), pp. 330333.CrossRefGoogle Scholar
[Ke1] Keisler, H. J., Models with tree structures, Proceedings of the Tarski symposium (Henkin, L., editor), Proceedings of Symposia in Pure Mathematics, vol. 25, American Mathematical Society, Providence, Rhode Island, 1974, pp. 331348.CrossRefGoogle Scholar
[Ke2] Keisler, H. J., Monotone complete fields, Victoria symposium on nonstandard analysis (Hurd, A. and Loeb, P., editors), Lecture Notes in Mathematics, vol. 369, Springer-Verlag, Berlin, 1974, pp. 113115.CrossRefGoogle Scholar
[MS] MacDowell, R. and Specker, E., Modelle der Arithmetik, Infinitistic methods (proceedings, Warsaw 1959), PWN, Warsaw, and Pergamon Press, Oxford, 1961, pp. 257263.Google Scholar
[Sc1] Schmerl, J. H., Recursively saturated rather classless models of Peano arithmetic, Logic year 1979–1980 (Lerman, M. et al., editors), Lecture Notes in Mathematics, vol. 859, Springer-Verlag, Berlin, 1981, pp. 268282.CrossRefGoogle Scholar
[Sc2] Schmerl, J. H., Models of Peano arithmetic and a question of Sikorski on ordered fields, Israel Journal of Mathematics, vol. 50 (1985), pp. 145159.CrossRefGoogle Scholar
[Sc3] Schmerl, J. H., Peano arithmetic and hyper-Ramsey logic, Transactions of the American Mathematical Society, vol. 296 (1986), pp. 481505.CrossRefGoogle Scholar
[Sco] 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. 274278.Google Scholar
[Sh1] Shelah, S., Models with second order properties. II: Trees with no undefined branches, Annals of Mathematical Logic, vol. 14 (1978), pp. 7387.CrossRefGoogle Scholar
[Sh2] Shelah, S., Models with second order properties. IV: A general method for eliminating diamonds, Annals of Pure and Applied Logic, vol. 25 (1983), pp. 183212.Google Scholar
[Si] Sikorski, R., On an ordered algebraic field, Comptes Rendus des Séances de la Société des Sciences et des Lettres de Varsovie, Classe III, vol. 41 (1948), pp. 6996.Google Scholar
[Z] 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. 195227.Google Scholar