Some remarks on measures on orthogonal rational projections and the rational sphere

We examine measures on the quantum logic of all projections with rational $n\times n$-matrices and on its sublogic generated by all projections onto one-dimensional subspaces in $\mathbb Q^n$ passing through elements of the unit sphere in $\mathbb Q^n$.