An effective fixed-point theorem in intuitionistic diagonalizable algebras. (The algebraization of the theories which express Theor. IX.). (English) Zbl 0357.02028


03F99 Proof theory and constructive mathematics
08B99 Varieties
03G25 Other algebras related to logic
Full Text: DOI


[1] Bernardi C.,The fixed-point theorem for diagonalizable algebras (the algebraization of the theories which express Theor; III),Studia Logica XXXIV. 3 34 (1975), pp. 239–251. · Zbl 0318.02031
[2] Bernardi C.,The uniqueness of the fixed-point in every diagonalizable algebra (the algebraization of the theories which express Theor; VIII), this volume. · Zbl 0345.02020
[3] Franci R.,Idealità di alcune classi di algebre di Boole con operatori,Bollettino Unione Matematica Italiana, (4) 11 (1975), pp. 616–622.
[4] Magari R.,Significato e verità, nell’aritmetica peaniana,Annali di Matematica Pura e Applicata, (IV) 103 (1975), pp. 343–368. · Zbl 0316.02037
[5] Magari R.,Problemi aperti sulle algebre diagonali,Rendiconti del Seminario Matematico e Fisico di Milano, XLIV (1974), pp. 75–90. · Zbl 0352.08008
[6] Magari R.,The diagonalizable algebras (the algebraization of theories which express Theor; II) Bollettino Unione Matematica Italiana, (4)12 Suppl. fasc. 3. (1975), pp. 117–125. · Zbl 0352.08009
[7] Magari R.,Representation and duality theory for diagonalizable algebras (the algebraization of the, theories which express Theor; IV),Studia Logica XXXIV. 4 34 (1975), pp. 305–313. · Zbl 0355.02021
[8] Magari R.,On the autological character of diagonalizable algebras (the algebraization of the theories which express Theor; VII), this volume. · Zbl 0352.08009
[9] Macintyre A., H. Simmons,Gödel’s diagonalization technique and related properties of theories,Colloquium Mathematicum, 28 (1973), pp. 165–180. · Zbl 0288.02018
[10] Rasiowa H.,An algebraic approach to non-classical logics, North, Holland, Amsterdam 1974. · Zbl 0299.02069
[11] Rasiowa H., Sikorski R.,The mathematics of metamathematics, PWN, Waszawa 1963. · Zbl 0122.24311
[12] G. Sambin,Un’estensione del teorema di Löb,Rendiconti Seminario Matematico Università Padova, 52 (1974), pp. 193–199.
[13] Simmons H.,Topological aspects of suitable theories, mimeographed 1972. · Zbl 0327.02028
[14] Smorynski C.,Co sistency statements and related metamathematical properties, Report 75-02, Department of Mathematics, University of Amsterdam, 1975.
[15] Smorynski C.,The incompleteness theorem, preprint. · Zbl 0453.03018
[16] Ursini A.,Intuitionistic diagonalizable algebras, to appear. · Zbl 0423.03029
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.