Gleason-type theorem for linear spaces over the field of four elements

Abstract

We prove an analog of the famous Gleason theorem for additive functions on the orthomodular poset of all projections defined on an n-dimensional linear space over the field consisting of four elements. An essential part of the proof consists in a computer calculation.