Hostname: page-component-76fb5796d-qxdb6 Total loading time: 0 Render date: 2024-04-25T11:51:01.200Z Has data issue: false hasContentIssue false

U-monad topologies of hyperfinite time lines

Published online by Cambridge University Press:  12 March 2014

Renling Jin*
Affiliation:
Department of Mathematics, University of Wisconsin, Madison, Wisconsin 53706

Abstract

In an ω1-saturated nonstandard universe a cut is an initial segment of the hyperintegers which is closed under addition. Keisler and Leth in [KL] introduced, for each given cut U, a corresponding U-topology on the hyperintegers by letting O be U-open if for any x ϵ O there is a y greater than all the elements in U such that the interval [xy, x + y] ⊆ O. Let U be a cut in a hyperfinite time line , which is a hyperfinite initial segment of the hyperintegers. The U-monad topology of is the quotient topology of the U-topological space modulo U. In this paper we answer a question of Keisler and Leth about the U-monad topologies by showing that when is κ-saturated and has cardinality κ,(1) if the coinitiality of U1, is uncountable, then the U1,-monad topology and the U2-monad topology are homcomorphic iff both U1, and U2 have the same coinitiality; and (2) can produce exactly three different U-monad topologies (up to homeomorphism) for those U's with countable coinitiality. As a corollary can produce exactly four different U-monad topologies if the cardinality of is ω1.

Type
Research Article
Copyright
Copyright © Association for Symbolic Logic 1992

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

[Ca]Canjar, M., Countable ultraproducts without CH, Annals of Pure and Applied Logic, vol. 37 (1988), pp. 179.CrossRefGoogle Scholar
[CK]Chang, C. C. and Keisler, H. J., Model theory, North-Holland, Amsterdam, 1973; 3rd ed., 1990.Google Scholar
[KKML ]Keisler, H. J., Kunen, K., Miller, A. W., and Leth, S., Descriptive set theory over hyperfinite sets, this Journal, vol. 54 (1989), pp. 11671180.Google Scholar
[KL ]Keisler, H. J. and Leth, S., Meager sets on the hyperfinite time line, this Journal, vol. 56 (1991), pp. 71102.Google Scholar
[M]Miller, A. W., Set theoretic properties of Loeb measure, this Journal, vol. 55 (1990), pp. 10221036.Google Scholar
[SB]Stroyan, K. D. and Bayod, J. M., Foundations of infinitesimal stochastic analysis, North-Holland, Amsterdam, 1986.Google Scholar
[To]Todorčević, S., Trees and linearly ordered sets, Handbook of set theoretic topology (Kunen, K. and Vaughan, J. E., editors), North-Holland, Amsterdam, 1984, pp. 235293.CrossRefGoogle Scholar