1. S. N. Artyomov. Arithmetically complete modal theories. Semiotics and Information Science,14:115–133, 1980. In Russian.
2. C. Bernardi. The fixed-point theorem for diagonalizable algebras. Studia Logica, 34: 239–251, 1975.
3. G. Boolos. The Unprovability of Consistency. Cambridge University Press, 1979. 2nd edition: The Logic of Provability, Cambridge University Press, 1995.
4. G. Boolos. Extremely undecidable sentences. Journal of Symbolic Logic, 47: 191–196, 1982.
5. H. Friedman. The disjunction property implies the numerical existence property. Proc Nat Acad Sci, 62: 2877–2878, 1975.