Skip to main content
Log in

The fixed-point theorem for diagonalizable algebras

The algebraization of the theories which express theor; III

  • Published:
Studia Logica Aims and scope Submit manuscript

This is a preview of subscription content, log in via an institution to check access.

Access this article

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Institutional subscriptions

References

  1. G. Grätzer,Universal Algebra, Van Nostrand, Princeton 1968.

    Google Scholar 

  2. 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.

    Google Scholar 

  3. M. Löb,Solution of a problem of Leon Henkin,Journal of Symbolic Logic, Vol. 20 (1955), pp. 115–118.

    Google Scholar 

  4. A. Macintyre andH. Simmons,Godel's diagonalization technique and related properties of theories,Colloquium Mathematicum, Vol. XXVIII (1973), pp. 165–183.

    Google Scholar 

  5. R. Magari,Significato e verità nell'aritmetica peaniana, (Sulle limitazioni dei sistemi formali, II), to appear in:Ann. Mat. pura Appl.

  6. R. Magari,Problemi aperti sulle algebre diagonali, to appear in:Rend. Sem. Mat. Fis. Milano.

  7. R. Magari,The diagonalizable algebras (the algebraization of the theories which express Theor; II), to appear inBoll. Un. Mat. Ital.

  8. 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.

    Google Scholar 

  9. G. Marongiu,Sequenze di predicati aritmetici di tipo «teor»,Boll. Un. Mat. Ital., IV, Vol. IX (1974), pp. 361–375.

    Google Scholar 

  10. E. Mendelson,Introduction to mathematical Logic, Van Nostrand, Princeton, 1964.

    Google Scholar 

  11. R. Montague,Theories incomparable with respect to relative interpretability,Journal of Symbolic Logic, Vol. 27 (1962), pp. 195–211.

    Google Scholar 

  12. 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.

  13. G. Sambin,Un'estensione del teorema di Löb, to appear inRend. Sem. Mat. Univ. Padova.

Download references

Author information

Authors and Affiliations

Authors

Additional information

Allatum est die 24 Februarii 1975

Rights and permissions

Reprints 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

Download citation

  • Issue Date:

  • DOI: https://doi.org/10.1007/BF02125226

Keywords

Navigation