Manuscript OpenAI@2026-10-07 · OpenAI.tex · remark · 6a931f8f
Remark: Family 323. Relative independence of the separable quotient problem
Family claims › Functional analysis · lines 2109–2114
OpenAI@2026-10-07#rem:oai-323
Establishes, relative to the consistency of a measurable cardinal, that the separable quotient problem is independent of ZFC. The assertion that every infinite-dimensional Banach space has a separable infinite-dimensional quotient can hold for all real and complex Banach spaces, whereas the continuum hypothesis yields counterexamples over both fields.
The authors are OpenAI. This companion does not verify the proof. The claim is not a theorem of the Enter series and not a premise of any registered sheet. It does not close O.1. O.1 stays NOT_CLOSED. It is not a de Sitter state and not the QdS external-leg scheme. No quantum coefficient is admitted. No compilation is asserted.
Nearby in this section
- remark: Remark: Family 322. Tingley's sphere-isometry problem
- remark: Remark: Family 324. Lipschitz equivalence without linear isomorphism
- remark: Remark: Family 325. The complete Crouzeix conjecture
- remark: Remark: Family 326. The cotype–cotype conjecture under the approximation property
- remark: Remark: Family 327. Markov type characterizes superreflexivity
- remark: Remark: Family 328. Fixed points of nonexpansive maps in reflexive Banach spaces
- remark: Remark: Family 329. A counterexample to Pietsch's metric-entropy duality conjecture
- remark: Remark: Family 330. A negative answer to Kalton's Lipschitz-free approximation question