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).
Similar content being viewed by others
References
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.
R. Franci,Idealità di alcune classi di algebre di Boole con operatori,Bollettino Unione Matematica Italiana, 11 (1975), pp. 616–622.
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 38 (1973), pp. 295–298.
M. Löb,Solution of a problem of Leon Henkin,Journal of Symbolic Logic 20 (1955), pp. 115–118.
R. Magari,The diagnoalizable algebras (the algebraization of the theories which express Theor; II),Bollettino Unione Matematica Italiana. 12 (1975), pp. 117–125.
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.
R. Magari,On the autological character of diagonalizable algebras (the algebraization of the theories which express Theor; VII). this volume.
E. Mendelson,Introduction to mathematical logic., Van Nostrand, Princeton, 1964.
C. Smorynski,Consistency and related metamathematical propertics,Technical Report 75-02, University of Amsterdam.
C. Smorynski,The incompleteness theorems, to appear.
Author information
Authors and Affiliations
Additional information
The algebraization of the theories which express Theor
Allatum est die 3 Augustii 1975
Rights 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
Issue Date:
DOI: https://doi.org/10.1007/BF02123401