Let X, Y be uncountable Polish spaces and let μ be a complete σ-finite Borel measure on X. Denote by K and L the families of all meager subsets of X and of all subsets of Y with μ measure zero, respectively. It is shown that the product of the ideals K and L restricted to C-sets of Selivanovskiĭ is σ-saturated, which extends Gavalec's results.
@article{bwmeta1.element.bwnjournal-article-cmv62i1p1bwm,
author = {Marek Balcerzak},
title = {On c-sets and products of ideals},
journal = {Colloquium Mathematicae},
volume = {62},
year = {1991},
pages = {1-6},
zbl = {0737.28001},
language = {en},
url = {http://dml.mathdoc.fr/item/bwmeta1.element.bwnjournal-article-cmv62i1p1bwm}
}
Balcerzak, Marek. On c-sets and products of ideals. Colloquium Mathematicae, Tome 62 (1991) pp. 1-6. http://gdmltest.u-ga.fr/item/bwmeta1.element.bwnjournal-article-cmv62i1p1bwm/
[000] [1] M. Balcerzak, Remarks on products of σ-ideals, Colloq. Math. 56 (1988), 201-209. | Zbl 0679.28003
[001] [2] J. P. Burgess, Classical hierarchies from a modern stand-point, Part I, C-sets, Fund. Math. 115 (1983), 80-95.
[002] [3] D. Cenzer and R. D. Mauldin, Inductive definability: measure and category, Adv. in Math. 38 (1980), 55-90. | Zbl 0466.03018
[003] [4] J. Cichoń and J. Pawlikowski, On ideals of subsets of the plane and on Cohen reals, J. Symbolic Logic 51 (1986), 560-569. | Zbl 0622.03035
[004] [5] M. Gavalec, Iterated products of ideals of Borel sets, Colloq. Math. 50 (1985), 39-52. | Zbl 0604.28001
[005] [6] A. S. Kechris, Measure and category in effective descriptive set theory, Ann. Math. Logic 5 (1972/73), 337-384. | Zbl 0277.02019
[006] [7] C. G. Mendez, On sigma-ideals of sets, Proc. Amer. Math. Soc. 60 (1976), 124-128. | Zbl 0348.28002
[007] [8] Y. N. Moschovakis, Descriptive Set Theory, North-Holland, Amsterdam 1980.
[008] [9] E. A. Selivanovskiĭ, On a class of effective sets (C-sets), Mat. Sb. 35 (1928), 379-413 (in Russian).
[009] [10] V. V. Srivatsa, Measure and category approximations for C-sets, Trans. Amer. Math. Soc. 278 (1983), 495-505. | Zbl 0525.04006
[010] [11] R. L. Vaught, Invariant sets in topology and logic, Fund. Math. 82 (1974), 269-294. | Zbl 0309.02068