Hostname: page-component-76fb5796d-dfsvx Total loading time: 0 Render date: 2024-04-26T18:59:44.136Z Has data issue: false hasContentIssue false

U-meager sets when the cofinality and the coinitiality of U are uncountable

Published online by Cambridge University Press:  12 March 2014

Boško Živaljević*
Affiliation:
Department of Mathematics, University of Wisconsin—Platteville, Platteville, Wisconsin 53818

Abtract

We prove that every countably determined set C is U-meager if and only if every internal subset A of C is U-meager, provided that the cofinality and coinitiality of the cut U are both uncountable. As a consequence we prove that for such cuts a countably determined set C which intersects every U-monad in at most countably many points is U-meager. That complements a similar result in [KL]. We also give some partial solutions to some open problems from [KL]. We prove that the set , where H is an infinite integer, cannot be expressed as a countable union of countably determined sets each of which is U-meager for some cut U with min{cf(U), ci(U)} ≥ ω1. Also, every Borel, or countably determined set C which is U-meager for every cut U is a countable union of Borel, or countably determined sets respectively, which are U-nowhere dense for every cut U. Further, the class of Borel U-meager sets for min{cf(U),ci(U)} ≥ ω1 coincides with the least family of sets containing internal U-meager sets and closed with respect to the operation of countable union and intersection. The same is true if the phrase “U-meager sets” is replaced by “U-meager for every cut U.”

Type
Research Article
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

[BrSi] Bressler, D. W. and Sion, M., The current theory of analytic sets, Canadian Journal of Mathematics, vol. 16 (1964), pp. 207230.CrossRefGoogle Scholar
[He] Henson, C. W., Analytic sets, Baire sets and the standard part map, Canadian Journal of Mathematics, vol. 31 (1979), pp. 663672.CrossRefGoogle Scholar
[HeRo] Henson, C. W. and Ross, D., Analytic mappings on hyperfinite sets (to appear).Google Scholar
[Ji] Jin, R., Cuts and U-Lusin sets in hyperintegers (to appear).Google Scholar
[KKML] Keisler, H. J., Kunen, K., Miller, A. and Leth, S., Descriptive set theory over a hyperfinite set, 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
[Ro] Robinson, A., Nonstandard analysis, North-Holland, Amsterdam, 1966.Google Scholar
[Ži] Živaljević, B., Every Borel function is monotone Borel (to appear).Google Scholar