Skip to main content
    • Aa
    • Aa
  • Get access
    Check if you have access via personal or institutional login
  • Cited by 6
  • Cited by
    This article has been cited by the following publications. This list is generated based on data provided by CrossRef.

    Di Nasso, Mauro Goldbring, Isaac Jin, Renling Leth, Steven Lupini, Martino and Mahlburg, Karl 2015. High density piecewise syndeticity of sumsets. Advances in Mathematics, Vol. 278, p. 1.

    Kanovei, V. G. Lyubetskii, V. A. and Reeken, M. 2007. Reducibility of monadic equivalence relations. Mathematical Notes, Vol. 81, Issue. 5-6, p. 757.

    Кановей, Владимир Григорьевич Kanovei, Vladimir Grigor'evich Любецкий, Василий Александрович Lyubetskii, Vasilii Aleksandrovich Реекен, М and Reeken, M 2007. О сводимости монадических отношений эквивалентности. Математические заметки, Vol. 81, Issue. 6, p. 842.

    Di Nasso, Mauro 2001. The generic filter property in nonstandard analysis. Annals of Pure and Applied Logic, Vol. 111, Issue. 1-2, p. 23.

    Jin, Renling 2000. Applications of Nonstandard Analysis in Additive Number Theory. Bulletin of Symbolic Logic, Vol. 6, Issue. 03, p. 331.

    Jin, Renling and Keisler, H.Jerome 1993. Game sentences and ultrapowers. Annals of Pure and Applied Logic, Vol. 60, Issue. 3, p. 261.


Meager sets on the hyperfinite time line

  • H. Jerome Keisler (a1) and Steven C. Leth (a2)
  • DOI:
  • Published online: 01 March 2014

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.

Linked references
Hide All

This list contains references from the content that can be linked to their source. For a full set of references and notes please see the PDF or HTML where available.

[Ca]M. Canjar , Countable ultraproducts without CH, Annals of Pure and Applied Logic, vol. 37 (1988), pp. 179.

[G1]H. Gonshor , Remarks on the Dedekind completion of a nonstandard model of the reals, Pacific Journal of Mathematics, vol. 118 (1985), pp. 117132.

[H1]C. W. Henson , Analytic sets, Baire sets, and the standard part map, Canadian Journal of Mathematics, vol. 31 (1979), pp. 663672.

[H2]C. W. Henson , Unbounded Loeb measures, Proceedings of the American Mathematical Society, vol. 74 (1979), pp. 143150.

[KS]M. Kauffman and J. Schmerl , Saturated and simple extensions of models of PA, Annals of Pure and Applied Logic, vol. 27 (1984), pp. 109136.

[K1]H. J. Keisler , Monotone complete fields, Victoria symposium on nonstandard analysis (1974) (A. Hurd and P. Loeb , editors). Lecture Notes in Mathematics, vol. 369, Springer-Verlag, Berlin, 1974, pp. 113115.

[K4]H. J. Keisler , Limit ultrapowers, Transactions of the American Mathematical Society, vol. 107 (1963), pp. 383408.

[L1]S. Leth , Sequences in countable nonstandard models of the natural numbers, Studia Logica, vol. 47 (1988), pp. 6383.

[L2]S. Leth , Applications of nonstandard models and Lebesgue measure to sequences of natural numbers, Transactions of the American Mathematical Society, vol. 307 (1988), pp. 457468.

[Lo]P. Loeb , Conversion from nonstandard to standard measure spaces and applications in probability theory, Transactions of the American Mathematical Society, vol. 211 (1975), pp. 113122.

[M1]A. Miller , Special subsets of the real line. Handbook of set-theoretic topology (K. Kunen and J. E. Vaughan , editors), North-Holland, Amsterdam, 1984, pp. 201234.

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? *