1. S. Burris andR. McKenzie,Decidable varieties with modular congruence lattices, Memoirs of the AMS No. 246 (1981).
2. Yu. L. Ershov, I. A. Lavrov, A. D. Taimanov, M. A. Taitslin,Elementary theories, Russian Math. Surveys20 (1965), 35–105.
3. B. de Finetti,Probability, Induction and Statistics, J. Wiley & Sons, N.Y. (1972).
4. M. O. Rabin,A simple method for undecidability proofs and some applications, Logic, Methodology and Philosophy of Science, Proceedings of the 1964 International Congress, Y. Bar-Hillel ed., Amsterdam (1965), 58–68.
5. R. Scozzafava,Compteta additività su opportune successioni di insiemi di una misura di probabilità semplicemente additiva e fortemente non-atomica, Boll. U.M.I. (5)16-B (1979), 639–648.