Skip to main content
×
Home
    • Aa
    • Aa

Meager sets on the hyperfinite time line

  • H. Jerome Keisler (a1) and Steven C. Leth (a2)
Abstract

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.

Copyright
References
Hide All
[Ca]Canjar M., Countable ultraproducts without CH, Annals of Pure and Applied Logic, vol. 37 (1988), pp. 179.
[CK]Chang C. C. and Keisler H. J., Model theory, 2nd ed., North-Holland, Amsterdam, 1977 (3rd ed., to appear).
[G1]Gonshor H., Remarks on the Dedekind completion of a nonstandard model of the reals, Pacific Journal of Mathematics, vol. 118 (1985), pp. 117132.
[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. 493500.
[H1]Henson C. W., Analytic sets, Baire sets, and the standard part map, Canadian Journal of Mathematics, vol. 31 (1979), pp. 663672.
[H2]Henson C. W., Unbounded Loeb measures, Proceedings of the American Mathematical Society, vol. 74 (1979), pp. 143150.
[HR]Henson C. W. and Ross D., Analytic mappings on finite sets (to appear).
[Ka]Kamo S., Nonstandard natural number systems and nonstandard models, this Journal, vol. 46 (1981), pp. 365376.
[KS]Kauffman M. and Schmerl J., Saturated and simple extensions of models of PA, Annals of Pure and Applied Logic, vol. 27 (1984), pp. 109136.
[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. 113115.
[K2]Keisler H. J., Ultrapowers which are not saturated, this Journal, vol. 32 (1967), pp. 2346.
[K3]Keisler H. J., Ultraproducts of finite sets, this Journal, vol. 32 (1967), pp. 4757.
[K4]Keisler H. J., Limit ultrapowers, Transactions of the American Mathematical Society, vol. 107 (1963), pp. 383408.
[KKML]Keisler H. J., Kunen K., Miller A., and Leth S., Descriptive set theory over hyperfinite sets, this Journal, vol. 54 (1989), pp. 11671180.
[Kh]Khoury A., Modern infinitesimal analysis: foundations, methods, and applications, Ph.D. thesis, Columbia University, New York, 1981.
[Ko]Kotlarski H., On cofinal extensions of models of arithmetic, this Journal, vol. 48 (1983), pp. 253262.
[L1]Leth S., Sequences in countable nonstandard models of the natural numbers, Studia Logica, vol. 47 (1988), pp. 6383.
[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. 457468.
[LR]Lightstone A. H. and Robinson A., Non-Archimedean fields and asymptotic analysis, North-Holland, Amsterdam, 1975.
[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. 113122.
[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. 201234.
[M2]Miller A., Set-theoretic properties of Loeb measure, this Journal, vol. 55 (1990), pp. 10221036.
[P]Pabion J. F., Saturated models of Peano arithmetic, this Journal, vol. 47 (1982), pp. 625637.
[R]Robinson A., Nonstandard analysis, North-Holland, Amsterdam, 1966.
[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. 274278.
[Sh]Shelah S., Classification theory and the number of nonisomorphic models, North-Holland, Amsterdam, 1978.
[SB]Stroyan K. D. and Bayod J. M., Foundations of infinitesimal stochastic analysis, North-Holland, Amsterdam, 1986.
[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. 195227.
[Ž1]Živaljević B., Some results about Borel sets in descriptive set theory of hyperfinite sets, this Journal, vol. 55 (1990), pp. 604614.
[Ž2]Živaljević B., Hyperfinite transversal theory, Transactions of the American Mathematical Society (to appear).
Recommend this journal

Email your librarian or administrator to recommend adding this journal to your organisation's collection.

The Journal of Symbolic Logic
  • ISSN: 0022-4812
  • EISSN: 1943-5886
  • URL: /core/journals/journal-of-symbolic-logic
Please enter your name
Please enter a valid email address
Who would you like to send this to? *
×

Metrics

Full text views

Total number of HTML views: 0
Total number of PDF views: 1 *
Loading metrics...

Abstract views

Total abstract views: 56 *
Loading metrics...

* Views captured on Cambridge Core between September 2016 - 22nd October 2017. This data will be updated every 24 hours.