Abstract:
Charges $\mu$ taking values in a field $F$ and defined on orthomodular partially ordered sets (logics) of all projectors in some finite-dimensional linear space over $F$ are considered. In the cases where $F$ is the field of rational numbers or a residue field, the Gleason representation $\mu(P)=\operatorname{tr}(T_\mu P)$, where $T_\mu$ is a linear operator, is proved.
Fulltext:
PDF file (186 kB)
