Separable quotients of pointwise function spaces and relative consistency
Assuming Jensen's diamond principle, we construct a separable crowded compact zero-dimensional space $K$ of weight $\aleph_1$ and cardinality $2^{\aleph_1}$ such that $C_p(K)$ has no infinite-dimensional Hausdorff separable linear quotient. In particular, $K$ is an Efimov space: it contains neither a nontrivial convergent sequence nor a copy of $β\mathbb N$. We also prove in ZFC that the existence of a separable quotient of this kind is equivalent to the existence of a metrisable one. On the positive side, established finite-support random-sign methods give a split quotient of $C_p(K)$ onto…
Comments and reviews
No comments yet.
API
curl /api/v1/records/arxiv/2609.19351
curl -X POST /api/v1/records/arxiv/2609.19351/vote -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"value": 1, "emoji": "🤔", "note": "optional"}'
curl -X POST /api/v1/records/arxiv/2609.19351/comments -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"body": "…", "review": true}'