Remote Access Proceedings of the American Mathematical Society
Green Open Access

Proceedings of the American Mathematical Society

ISSN 1088-6826(online) ISSN 0002-9939(print)



Extending Baire Property by countably many sets

Author: Piotr Zakrzewski
Journal: Proc. Amer. Math. Soc. 129 (2001), 271-278
MSC (2000): Primary 03E35, 54E52; Secondary 28A05
Published electronically: June 14, 2000
MathSciNet review: 1695095
Full-text PDF

Abstract | References | Similar Articles | Additional Information

Abstract: We prove that if ZFC is consistent so is ZFC + ``for any sequence $(A_{n})$ of subsets of a Polish space $\langle X,\tau\rangle $ there exists a separable metrizable topology $\tau'$ on $X$ with $\mathbf{B}(X,\tau)\subseteq\mathbf{B}(X,\tau')$, $\operatorname{MGR}(X,\tau')\cap\mathbf{B}(X,\tau)=\operatorname{MGR} (X,\tau)\cap\mathbf{B}(X,\tau)$ and $A_{n}$ Borel in $\tau'$ for all $n$.'' This is a category analogue of a theorem of Carlson on the possibility of extending Lebesgue measure to any countable collection of sets. A uniform argument is presented, which gives a new proof of the latter as well.

Some consequences of these extension properties are also studied.

References [Enhancements On Off] (What's this?)

  • 1. S. Banach and K. Kuratowski, Sur une généralization du problème de la mesure, Fund. Math. 14 (1929), 127-131.
  • 2. T. Bartoszynski, H. Judah, Set theory: on the structure of the real line, A K Peters, Wellesley 1995. MR 96k:03002
  • 3. J. Brown, G. Cox, Classical theory of totally imperfect spaces, Real Analysis Exchange 7 (1981-2), 185-232. MR 84g:54021
  • 4. T. Carlson, Extending Lebesgue measure by infinitely many sets, Pac. J. Math. 115 (1984), 33-45. MR 86a:03055
  • 5. D. H. Fremlin, Measure algebras, in Handbook of Boolean algebras, North-Holland, 1989, 876-980. CMP 21:10
  • 6. E. Grzegorek Always of the first category sets, Rend. Circ. Mat. Palermo, II. Ser. Suppl. 6 (1984), 139-147. CMP 17:10
  • 7. E. Grzegorek Always of the first category sets. II, Rend. Circ. Mat. Palermo, II. Ser. Suppl. 10 (1985), 43-48. MR 88j:54054
  • 8. A. Kamburelis, A new proof of the Gitik-Shelah theorem, Israel J. Math. 72 (1990), 373-380. MR 92h:03069
  • 9. A. Kamburelis, On cardinal numbers related to Baire property, preprint, Wroc\law 1989.
  • 10. A. S. Kechris, Classical descriptive set theory, Graduate Texts in Math. 156, Springer-Verlag 1995. MR 96e:03057
  • 11. J. \Los and E. Marczewski, Extensions of measure, Fund. Math. 36 (1949), 267-276. MR 11:717h
  • 12. A.W. Miller, Mapping a set of reals onto the reals, J. Symbolic Logic 48 (1983), 575-584. MR 84k:03125
  • 13. I. Rec\law and P. Zakrzewski, Strong Fubini properties of ideals, Fund. Math. 159 (1999), 135-152. CMP 99:08
  • 14. R. M. Solovay, Real-valued measurable cardinals, in Axiomatic Set Theory, Proc. Symp. Pure Math. 13, I, AMS, Providence, Rhode Island 1971, 397-428. MR 45:55
  • 15. P. Zakrzewski, Strong Fubini axioms from measure extension axioms, Comment. Math. Univ. Carolinae 33,2 (1992), 291-297. MR 93k:03047
  • 16. P. Zakrzewski, Universally meager sets, Proc. Amer. Math. Soc., to appear.

Similar Articles

Retrieve articles in Proceedings of the American Mathematical Society with MSC (2000): 03E35, 54E52, 28A05

Retrieve articles in all journals with MSC (2000): 03E35, 54E52, 28A05

Additional Information

Piotr Zakrzewski
Affiliation: Institute of Mathematics, University of Warsaw, ul. Banacha 2, 02-097 Warsaw, Poland

Keywords: Measure and category, Borel sets, Baire Property, $\sigma$-algebra, $\sigma$-ideal
Received by editor(s): July 10, 1998
Received by editor(s) in revised form: March 16, 1999
Published electronically: June 14, 2000
Additional Notes: The author was partially supported by KBN grant 2 P03A 047 09 and by the Alexander von Humboldt Foundation
Communicated by: Carl G. Jockusch, Jr.
Article copyright: © Copyright 2000 American Mathematical Society

American Mathematical Society