A proof of protocol correctness
We prove that all measurable functionals on certain function spaces are measures; this improves the (known) results about weak sequential completeness of spaces of measures. As an application, we prove several results of this form: if the space of invariant functionals on a function space is separable then every invariant functional is a measure.
Page 1