Abstract
We prove the following theorems: (1) If X has strong measure zero and if Y has strong first category, then their algebraic sum has property s0. (2) If X has Hurewicz's covering property, then it has strong measure zero if, and only if, its algebraic sum with any first category set is a first category set. (3) If X has strong measure zero and Hurewicz's covering property then its algebraic sum with any set in Script A signℱscript c sign′ is a set in Script A signℱscript c sign′. (Script A signℱscript c sign′ is included in the class of sets always of first category, and includes the class of strong first category sets.) These results extend: Fremlin and Miller's theorem that strong measure zero sets having Hurewicz's property have Rothberger's property, Galvin and Miller's theorem that the algebraic sum of a set with the γ-property and of a first category set is a first category set, and Bartoszyński and Judah's characterization of SRScript M sign -sets. They also characterize the property (*) introduced by Gerlits and Nagy in terms of older concepts.
Original language | English |
---|---|
Pages (from-to) | 301-324 |
Number of pages | 24 |
Journal | Journal of Symbolic Logic |
Volume | 63 |
Issue number | 1 |
DOIs | |
State | Published - Mar 1998 |
Keywords
- (*)-set
- Add (script m sign)-small set
- Always first category set
- Hurewicz's property
- Lusin set
- Rothberger's property
- S-set
- Strong first category set
- Strong measure zero set
- γ-set
- λ-set