References
G. Grätzer,Universal Algebra, Van Nostrand, Princeton 1968.
C. F. Kent,The relation of A to Prov ⌌A⌍ in the Lindenbaum sentence algebra,Journal of symbolic Logic, Vol. 38 (1973), pp. 295–298.
M. Löb,Solution of a problem of Leon Henkin,Journal of Symbolic Logic, Vol. 20 (1955), pp. 115–118.
A. Macintyre andH. Simmons,Godel's diagonalization technique and related properties of theories,Colloquium Mathematicum, Vol. XXVIII (1973), pp. 165–183.
R. Magari,Significato e verità nell'aritmetica peaniana, (Sulle limitazioni dei sistemi formali, II), to appear in:Ann. Mat. pura Appl.
R. Magari,Problemi aperti sulle algebre diagonali, to appear in:Rend. Sem. Mat. Fis. Milano.
R. Magari,The diagonalizable algebras (the algebraization of the theories which express Theor; II), to appear inBoll. Un. Mat. Ital.
C. Mangione,Su alcune questioni connesse con i principi di riflessione,Symposia Mathematica, Vol. V (INDAM, Rome 1969/70), pp. 189–201. Academic Press, London, 1971.
G. Marongiu,Sequenze di predicati aritmetici di tipo «teor»,Boll. Un. Mat. Ital., IV, Vol. IX (1974), pp. 361–375.
E. Mendelson,Introduction to mathematical Logic, Van Nostrand, Princeton, 1964.
R. Montague,Theories incomparable with respect to relative interpretability,Journal of Symbolic Logic, Vol. 27 (1962), pp. 195–211.
P. Pagli,On some extensions of Diagonalization lemma in Lindenbaum algebra of Peano arithmetic (the algebraization of the theories which express Theor; I), to appear.
G. Sambin,Un'estensione del teorema di Löb, to appear inRend. Sem. Mat. Univ. Padova.
Author information
Authors and Affiliations
Additional information
Allatum est die 24 Februarii 1975
Rights and permissions
About this article
Cite this article
Bernardi, C. The fixed-point theorem for diagonalizable algebras. Stud Logica 34, 239–251 (1975). https://doi.org/10.1007/BF02125226
Issue Date:
DOI: https://doi.org/10.1007/BF02125226