Statement:
The union of countably many meager subsets of \({\Bbb R}\) is meager. (Meager sets are the same as sets of the first category.) Jech [1973b] p 7 prob 1.7.
Howard_Rubin_Number: 35
Parameter(s): This form does not depend on parameters
This form's transferability is: Transferable
This form's negation transferability is: Negation Transferable
Article Citations:
Levy-Feferman-1963: Independence results in set theory by Cohen's method II
Book references
The Axiom of Choice, Jech, T., 1973b
Note connections:
Note 28
Definitions for the various versions of the Baire category theorem