1. C. Bernardi, The fixed-point theorem for diagonalizable algebras, Studia Logica 34 (1975), pp. 239?251.
2. C. Bernardi, On the equational class of diagonalizable algebras, Studia Logica 34 (1975), pp. 322?331.
3. C. Bernardi, The uniqueness of the fixed-point in every diagonalizable algebra, Studia Logica 35 (1976), pp. 335?343.
4. C. Bernardi and F. Montagna, Solution of problem 35 of H. Friedman, to appear.
5. G. Boolos, Friedman's 35th problem has an affirmative solution, Notices AMS 22 (1975), p. A-646.