×

zbMATH — the first resource for mathematics

The uniqueness of the fixed-point in every diagonalizable algebra. (The algebraization of the theories which express Theor. VIII.). (English) Zbl 0345.02020

MSC:
03F99 Proof theory and constructive mathematics
08B99 Varieties
PDF BibTeX XML Cite
Full Text: DOI
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. · Zbl 0318.02031
[2] R. Franci,Idealità di alcune classi di algebre di Boole con operatori,Bollettino Unione Matematica Italiana, 11 (1975), pp. 616–622.
[3] G. Grätzer,Universal algebra, Van Nostrand, Princeton, 1968. · Zbl 0182.34201
[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. · Zbl 0275.02034
[5] M. Löb,Solution of a problem of Leon Henkin,Journal of Symbolic Logic 20 (1955), pp. 115–118. · Zbl 0067.00202
[6] R. Magari,The diagnoalizable algebras (the algebraization of the theories which express Theor; II),Bollettino Unione Matematica Italiana. 12 (1975), pp. 117–125. · Zbl 0352.08009
[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. · Zbl 0355.02021
[8] R. Magari,On the autological character of diagonalizable algebras (the algebraization of the theories which express Theor; VII). this volume. · Zbl 0352.08009
[9] E. Mendelson,Introduction to mathematical logic., Van Nostrand, Princeton, 1964. · Zbl 0123.29302
[10] C. Smorynski,Consistency and related metamathematical propertics,Technical Report 75-02, University of Amsterdam.
[11] C. Smorynski,The incompleteness theorems, to appear. · Zbl 0521.03041
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. It attempts to reflect the references listed in the original paper as accurately as possible without claiming the completeness or perfect precision of the matching.