Measurable cardinals and category bases. (English) Zbl 0766.54030
Summary: We show that the existence of a non-trivial category base on a set of regular cardinality with each subset being Baire is equiconsistent to the existence of a measurable cardinal.
MSC:
54E52 | Baire category, Baire spaces |
28A05 | Classes of sets (Borel fields, \(\sigma\)-rings, etc.), measurable sets, Suslin sets, analytic sets |
54A35 | Consistency and independence results in general topology |
03E35 | Consistency and independence results |
03E55 | Large cardinals |