Hostname: page-component-848d4c4894-sjtt6 Total loading time: 0 Render date: 2024-06-16T22:28:01.027Z Has data issue: false hasContentIssue false
  • English
  • Français

Set theoretic properties of Loeb measure

Published online by Cambridge University Press:  12 March 2014

Arnold W. Miller
Arnold W. Miller*
Affiliation:
Department of Mathematics, University of Wisconsin, Madison, Wisconsin 53706
Get access Rights & Permissions [Opens in a new window]

Abstract

In this paper we ask the question: to what extent do basic set theoretic properties of Loeb measure depend on the nonstandard universe and on properties of the model of set theory in which it lies? We show that, assuming Martin's axiom and κ-saturation, the smallest cover by Loeb measure zero sets must have cardinality less than κ. In contrast to this we show that the additivity of Loeb measure cannot be greater than ω1. Define cof(H) as the smallest cardinality of a family of Loeb measure zero sets which cover every other Loeb measure zero set. We show that card(⌊log2(H)⌋) ≤ cof (H) ≤ card(2H), where card is the external cardinality. We answer a question of Paris and Mills concerning cuts in nonstandard models of number theory. We also present a pair of nonstandard universes M ≼ N and hyperfinite integer H ∈ M such that H is not enlarged by N, 2H contains new elements, but every new subset of H has Loeb measure zero. We show that it is consistent that there exists a Sierpiński set in the reals but no Loeb-Sierpiński set in any nonstandard universe. We also show that it is consistent with the failure of the continuum hypothesis that Loeb-Sierpiński sets can exist in some nonstandard universes and even in an ultrapower of a standard universe.

Type
Research Article
Information
The Journal of Symbolic Logic , Volume 55 , Issue 3 , September 1990 , pp. 1022 - 1036
Copyright
Copyright © Association for Symbolic Logic 1990

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

[1]Bartoszynski, T. and Judah, H., On Sierpihski sets, Proceedings of the American Mathematical Society, vol. 108 (1990), pp. 507–512.Google Scholar
[2]Chang, C. C. and Keisler, H. J., Model thoery, North-Holland, Amsterdam, 1973.Google Scholar
[3]Cutland, Nigel J., Nonstandard measure theory and its applications, Bulletin of the London Mathematical Society, vol. 15 (1983), pp. 529–589.CrossRefGoogle Scholar
[4]Feller, William, An introduction to probability theory and its applications. Vol. I, 3rd ed., Wiley, New York, 1968.Google Scholar
[5]Henson, C. Ward, Analytic sets, Baire sets and the standard part map, Canadian Journal of Mathematics, vol. 31 (1979), pp. 663–672.CrossRefGoogle Scholar
[6]Henson, C. Ward, Unbounded Loeb measures, Proceedings of the American Mathematical Society, vol. 74 (1979), pp. 143–150.CrossRefGoogle Scholar
[7]Keisler, H. Jerome, Ultraproducts of finite sets, this Journal, vol. 32 (1967), pp. 47–57.Google Scholar
[8]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
[9]Keisler, H. J. and Leth, S., Meager sets on the hyperfinite time line (to appear).Google Scholar
[10]Kaufmann, M. and Schmerl, J. H., Remarks on weak notions of saturation in models of Peano arithmetic, this Journal, vol. 52 (1987), pp. 129–148.Google Scholar
[11]Kotlarski, Henryk, On cofinal extensions of models of arithmetic, this Journal, vol. 48 (1983), pp. 253–262.Google Scholar
[12]Loeb, P. A., 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
[13]Mathias, A. R. D., Happy families, Annals of Mathematical Logic, vol. 12 (1977), pp. 59–111.CrossRefGoogle Scholar
[14]Miller, Arnold W., The Baire category theorem and cardinals of countable cofinality, this Journal, vol. 47 (1982), pp. 275–288.Google Scholar
[15]Paris, J. B. and Mills, G., Closure properties of countable non-standard integers, Fundamenta Mathematical vol. 103 (1979), pp. 205–215.CrossRefGoogle Scholar
[16]Shelah, Saharon, A two-cardinal theorem, Proceedings of the American Mathematical Society, vol. 48(1975), pp. 207–213.CrossRefGoogle Scholar
[17]Shelah, Saharon, On the cardinality of ultraproduct of finite sets, this Journal, vol. 35 (1970), pp. 83–84.Google Scholar