This is to announce a new version of an electronic preprint concerning an application of meadows. The preprint “Signed Meadow Valued Probability Functions” has now been replaced by a substantial revision (arXiv:1307.5173v2 [math.LO]). In this preprint, Kolmogorov’s probability axioms for probability functions are phrased in the setting of Boolean algebras and signed meadows. A completeness theorem is proved for the resulting equational axiom system.

## About Kees Middelburg

Retired computer scientist