Problem 1154: Analytic generators cannot give intermediate-dimensional rings

../

analytic_generator_obstruction: A real subring of intermediate Hausdorff dimension contains no positive-dimensional analytic subset, by Edgar–Miller and analytic ring generation, including the non-unital convention.

---

The [[research/erdos_1154/analytic_generator_obstruction|argument on analytic generators cannot give intermediate-dimensional rings]] records its exact scope, source premises, and remaining gap toward Problem 1154.