Skip to main content
Log in

The uniqueness of the fixed-point in every diagonalizable algebra

  • Articles
  • Published:
Studia Logica Aims and scope Submit manuscript

Summary

It is well known that, in Peano arithmetic, there exists a formulaTheor (x) which numerates the set of theorems. By Gödel's and Löb's results, we have that

Therefore, the considered «equations» admit, up to provable equivalence, only one solution.

In this paper we prove (Corollary 1), that, in general, ifP (x) is an arbitrary formula built fromTheor (x), then the fixed-point ofP (x) (which exists by the diagonalization lemma) is unique up to provable equivalence. This result is settled referring to the concept of diagonalizable algebra (see Introduction).

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

Similar content being viewed by others

References

  1. C. Bernardi,The fixed-point theorem for diagnoalizable algebras (the algebraization of the theories which express Theor; III),Studia Logica XXXIV. 3 (1975), pp. 239–251.

    Google Scholar 

  2. R. Franci,Idealità di alcune classi di algebre di Boole con operatori,Bollettino Unione Matematica Italiana, 11 (1975), pp. 616–622.

    Google Scholar 

  3. G. Grätzer,Universal algebra, Van Nostrand, Princeton, 1968.

    Google Scholar 

  4. C. F. Kent,The relation of A to Prov [A] in the Lindenbaum sentence algebra Journal of Symbolic Logic 38 (1973), pp. 295–298.

    Google Scholar 

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

    Google Scholar 

  6. R. Magari,The diagnoalizable algebras (the algebraization of the theories which express Theor; II),Bollettino Unione Matematica Italiana. 12 (1975), pp. 117–125.

    Google Scholar 

  7. R. Magari,Representation and duality theory for diagonalizable algebras (the algebraization of the theories which express Theor; IV) Studia Logica XXXIV 4 (1975), pp. 305–313.

    Article  Google Scholar 

  8. R. Magari,On the autological character of diagonalizable algebras (the algebraization of the theories which express Theor; VII). this volume.

  9. E. Mendelson,Introduction to mathematical logic., Van Nostrand, Princeton, 1964.

    Google Scholar 

  10. C. Smorynski,Consistency and related metamathematical propertics,Technical Report 75-02, University of Amsterdam.

  11. C. Smorynski,The incompleteness theorems, to appear.

Download references

Author information

Authors and Affiliations

Authors

Additional information

The algebraization of the theories which express Theor

Allatum est die 3 Augustii 1975

Rights and permissions

Reprints and permissions

About this article

Cite this article

Bernardi, C. The uniqueness of the fixed-point in every diagonalizable algebra. Stud Logica 35, 335–343 (1976). https://doi.org/10.1007/BF02123401

Download citation

  • Issue Date:

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

Keywords

Navigation