Article
Keywords:
Polish group; $\sigma $-ideal; meager sets
Summary:
We give a classical proof of the theorem stating that the $\sigma $-ideal of meager sets is the unique $\sigma $-ideal on a Polish group, generated by closed sets which is invariant under translations and ergodic.
References:
                        
[1] Balcerzak M., Rogowska D.: 
Making some ideals meager on sets of size of the continuum. Topology Proc. 21 (1996), 1–13. 
MR 1489187 | 
Zbl 0888.54028 
[2] Kechris A.S.: 
Classical Descriptive Set Theory. Graduate Texts in Mathematics, 156, Springer, New York, 1995. 
MR 1321597 | 
Zbl 0819.04002 
[4] Recław I., Zakrzewski P.: 
Fubini properties of ideals. Real Anal. Exchange 25 (1999/00), no. 2, 565–578. 
MR 1778511 | 
Zbl 1016.03050 
[5] Zapletal J.: 
Forcing with ideals generated by closed sets. Comment. Math. Univ. Carolin. 43 (2002), no. 1, 181–188. 
MR 1903318 | 
Zbl 1069.03037 
[6] Zapletal J.: 
Descriptive Set Theory and Definable Forcing. Mem. Amer. Math. Soc. 167 (2004), no. 793. 
MR 2023448 | 
Zbl 1037.03042 
[7] Zapletal J.: 
Forcing Idealized. Cambridge Tracts in Mathematics, 174, Cambridge University Press, Cambridge, 2008. 
MR 2391923 | 
Zbl 1140.03030