CH implies the boolean completion of a type III projection lattice is the standard continuum-collapsing algebra

Standard

This is the proof that, if the continuum hypothesis holds, the structures from AQFT (algebraic quantum field theory) that we had hoped might yield a structure satisfying the Bergsonian axioms cannot, in fact, do so.