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

DOI:
https://doi.org/10.1090/S0002-9939-00-05505-2

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 of subsets of a Polish space there exists a separable metrizable topology on with , and Borel in for all .'' 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.

**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, Wrocaw 1989.**10.**A. S. Kechris,*Classical descriptive set theory*, Graduate Texts in Math. 156, Springer-Verlag 1995. MR**96e:03057****11.**J. os 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. Recaw 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.

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

Email:
piotrzak@mimuw.edu.pl

DOI:
https://doi.org/10.1090/S0002-9939-00-05505-2

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