Hostname: page-component-8448b6f56d-c4f8m Total loading time: 0 Render date: 2024-04-18T03:31:00.378Z Has data issue: false hasContentIssue false
  • English
  • Français

Meager sets on the hyperfinite time line

Published online by Cambridge University Press:  12 March 2014

H. Jerome Keisler  and
Steven C. Leth
H. Jerome Keisler
Affiliation:
Department of Mathematics, University of Wisconsin, Madison, Wisconsin 53706
Steven C. Leth
Affiliation:
Department of Mathematics, University of Northern Colorado, Greeley, Colorado 80639
Get access Rights & Permissions [Opens in a new window]

Extract

In this paper we study notions of a “meager subset” of a hyper-finite set. We work within an ω-saturated nonstandard universe and fix a hyperfinite natural number Є *N∖N. We shall consider subsets of the set = {1, 2, …,H}.

By analogy with the meager subsets of the real interval [0, 1], a notion of meager subset of should have the following properties.

1. Finite sets, countable unions of meager sets, subsets of meager sets, and translates of meager sets should be meager.

2. The Baire Category Theorem should hold; that is, should not be meager.

3. The internal analogue of the Cantor set should be meager.

4. The notion of a meager set should be with respect to a natural topology on .

5. There should exist meager subsets of of Loeb measure one.

6. Sierpiński and Lusin sets should have hyperfinite counterparts with properties similar to the classical case.

Property 5 is desirable so that, as with Lebesgue measure and Baire category on [0, 1], the topological and measure-theoretic notions of “large” and “small” sets are incomparable.

Property 6, while not as necessary as the other five, is desirable because of the strong interplay between measure and category in the classical results about Lusin and Sierpinski sets. Our objective is to find notions of meager set which have a relationship to Loeb measure similar to the classical relationship between meager sets and Lebesgue measure.

Type
Research Article
Information
The Journal of Symbolic Logic , Volume 56 , Issue 1 , March 1991 , pp. 71 - 102
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

[Ca]Canjar, M., Countable ultraproducts without CH, Annals of Pure and Applied Logic, vol. 37 (1988), pp. 1–79.CrossRefGoogle Scholar
[CK]Chang, C. C. and Keisler, H. J., Model theory, 2nd ed., North-Holland, Amsterdam, 1977 (3rd ed., to appear).Google Scholar
[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.CrossRefGoogle Scholar
[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.CrossRefGoogle Scholar
[H1]Henson, C. W., Analytic sets, Baire sets, and the standard part map, Canadian Journal of Mathematics, vol. 31 (1979), pp. 663–672.CrossRefGoogle Scholar
[H2]Henson, C. W., Unbounded Loeb measures, Proceedings of the American Mathematical Society, vol. 74 (1979), pp. 143–150.CrossRefGoogle Scholar
[HR]Henson, C. W. and Ross, D., Analytic mappings on finite sets (to appear).Google Scholar
[Ka]Kamo, S., Nonstandard natural number systems and nonstandard models, this Journal, vol. 46 (1981), pp. 365–376.Google Scholar
[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.CrossRefGoogle Scholar
[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.CrossRefGoogle Scholar
[K2]Keisler, H. J., Ultrapowers which are not saturated, this Journal, vol. 32 (1967), pp. 23–46.Google Scholar
[K3]Keisler, H. J., Ultraproducts of finite sets, this Journal, vol. 32 (1967), pp. 47–57.Google Scholar
[K4]Keisler, H. J., Limit ultrapowers, Transactions of the American Mathematical Society, vol. 107 (1963), pp. 383–408.CrossRefGoogle Scholar
[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.Google Scholar
[Kh]Khoury, A., Modern infinitesimal analysis: foundations, methods, and applications, Ph.D. thesis, Columbia University, New York, 1981.Google Scholar
[Ko]Kotlarski, H., On cofinal extensions of models of arithmetic, this Journal, vol. 48 (1983), pp. 253–262.Google Scholar
[L1]Leth, S., Sequences in countable nonstandard models of the natural numbers, Studia Logica, vol. 47 (1988), pp. 63–83.CrossRefGoogle Scholar
[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.CrossRefGoogle Scholar
[LR]Lightstone, A. H. and Robinson, A., Non-Archimedean fields and asymptotic analysis, North-Holland, Amsterdam, 1975.Google Scholar
[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.CrossRefGoogle Scholar
[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.CrossRefGoogle Scholar
[M2]Miller, A., Set-theoretic properties of Loeb measure, this Journal, vol. 55 (1990), pp. 1022–1036.Google Scholar
[P]Pabion, J. F., Saturated models of Peano arithmetic, this Journal, vol. 47 (1982), pp. 625–637.Google Scholar
[R]Robinson, A., Nonstandard analysis, North-Holland, Amsterdam, 1966.Google Scholar
[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.Google Scholar
[Sh]Shelah, S., Classification theory and the number of nonisomorphic models, North-Holland, Amsterdam, 1978.Google Scholar
[SB]Stroyan, K. D. and Bayod, J. M., Foundations of infinitesimal stochastic analysis, North-Holland, Amsterdam, 1986.Google Scholar
[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.Google Scholar
[Ž1]Živaljević, B., Some results about Borel sets in descriptive set theory of hyperfinite sets, this Journal, vol. 55 (1990), pp. 604–614.Google Scholar
[Ž2]Živaljević, B., Hyperfinite transversal theory, Transactions of the American Mathematical Society (to appear).Google Scholar