Naimark's problem
Appearance
Naimark's problem asks whether every C*-algebra that has only one irreducible representation up to unitary equivalence is isomorphic to the algebra of compact operators on any Hilbert space. In 2003 Charles Akemann and Nik Weaver showed that the statement "there exists a counterexample to Naimark's problem which is generated by ℵ1 elements" is independent of the axioms of Zermelo-Fraenkel set theory and the axiom of choice (ZFC).
See also
List of statements undecidable in ZFC Gel'fand-Naimark theorem
External link