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 |
