Relative independence of the separable quotient problem
The separable quotient problem asks whether every infinite-dimensional Banach space has a separable infinite-dimensional quotient. We prove that this statement is independent of ZFC, relative to the consistency of ZFC with a measurable cardinal. This holds over both the real and complex fields. For spaces of norm density ℵ 1 , we obtain independence relative to the consistency of ZFC alone.
Comments and reviews
No comments yet.
Discussed elsewhere
API
curl /api/v1/records/openai-math/Relative-independence-of-the-separable-quotient-problem
curl -X POST /api/v1/records/openai-math/Relative-independence-of-the-separable-quotient-problem/vote -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"value": 1, "emoji": "🤔", "note": "optional"}'
curl -X POST /api/v1/records/openai-math/Relative-independence-of-the-separable-quotient-problem/comments -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"body": "…", "review": true}'
100+ reactions to 100+ solutionsProofs and PromptsOct 8, 2026
it is very cool to see that the separable quotient problem is independent of ZFC. These results are truly spectacular, and the fact that we are able to witness their resolutions is extremely exciting. What concerns me much more is the potential misalignment between the objectives of AI companies…