A note on the fixed point for the polynomials of a boolean algebra with an operator of endomorphism
Gnani, Giuliana ; Mazzanti, Giuliano
Rendiconti del Seminario Matematico della Università di Padova, Tome 102 (1999), p. 39-49 / Harvested from Numdam
Access to full text
Full (PDF)
Full (DJVU)
Publié le : 1999-01-01
@article{RSMUP_1999__101__39_0,
     author = {Gnani, Giuliana and Mazzanti, Giuliano},
     title = {A note on the fixed point for the polynomials of a boolean algebra with an operator of endomorphism},
     journal = {Rendiconti del Seminario Matematico della Universit\`a di Padova},
     volume = {102},
     year = {1999},
     pages = {39-49},
     mrnumber = {1705278},
     zbl = {0938.06012},
     language = {en},
     url = {http://dml.mathdoc.fr/item/RSMUP_1999__101__39_0}
}

Gnani, Giuliana; Mazzanti, Giuliano. A note on the fixed point for the polynomials of a boolean algebra with an operator of endomorphism. Rendiconti del Seminario Matematico della Università di Padova, Tome 102 (1999) pp. 39-49. http://gdmltest.u-ga.fr/item/RSMUP_1999__101__39_0/

[1] C. Bernardi, The uniqueness of the fixed point in every diagonalizable algebra, Studia Logica, 35 (1976), pp. 335-343. | MR 460115 | Zbl 0345.02020

[2] W.J. Blok, The lattice of modal logics: an algebraic investigation, J. Symbolic Logic, 45, no. 2 (1980), pp. 221-236. | MR 569394 | Zbl 0436.03010

[3] G. Boolos, The Logic of Provability, Cambridge University Press (1993). | MR 1260008 | Zbl 0891.03004

[4] S. Burris - H.P. Sankappanavar, A Course in Universal Algebra, Springer-Verlag, New York (1981). | MR 648287 | Zbl 0478.08001

[5] S. Feferman, Formal consistency proofs and interpretability theories, Dissertation, Berkeley (1957).

[6] H. Friedman - M. Sheard, An axiomatic approach to self-referential truth, Ann. Pure Appl. Logic, 33 (1987), pp. 1-21. | MR 870684 | Zbl 0634.03058

[7] V. Halbach, A system of complete and consistent truth, Notre Dame Journal Of Formal Logic, Vol. 35, no. 3 (1984), pp. 311-327. | MR 1326116 | Zbl 0828.03030

[8] P.R. Halmos, Algebraic Logic, Chelsea, New York (1962). | MR 131961 | Zbl 0101.01101

[9] D. Hobby, Finite fixed point algebras are subdiagonalisable, Algebra Universalis, vol. 25 (1988), pp. 210-222. | MR 950746 | Zbl 0627.06013

[10] B. Jonsson - A. Tarski, Boolean algebras with operators. Part I, Amer. J. Math., vol. 73 (1951), pp. 891-939. | MR 44502 | Zbl 0045.31505

[11] B. Jonsson - A. Tarski, Boolean algebras with operators. Part II, Amer. J. Math., vol. 74 (1952), pp. 127-162. | MR 45086 | Zbl 0045.31601

[12] R. Magari, The diagonalizable algebras, Boll. Un. Mat. Ital., (4) 12, suppl. fasc. 3 (1975), pp. 117-125. | MR 460109 | Zbl 0352.08009

[13] F. Montagna, The diagonalizable algebras, Rapporto matematico, n. 107 (1984), Dip. Mat. Siena.

[14] F. Montagna, A Completeness results for fixed-point algebras, Z. Math. Logik Grundlag, Math., 30 (1984), no. 6, pp. 525-532. | MR 769645 | Zbl 0564.03044

[15] I. Nemeti, Algebraizations of quantifier Logics: an introductory overview, Studia Logica, 50 (1991), pp. 445-556. | MR 1170186 | Zbl 0772.03033

[16] G. Sambin, An effective fixed-point theorem in intuitionistic diagonalizable algebras, Studia Logica, 35 (1976), pp. 345-361. | MR 460116 | Zbl 0357.02028

[17] C. Smorynski, Fixed point algebras, Bull. Of The Amer. Math. Soc., 6 (1982), pp. 317-356. | MR 648523 | Zbl 0544.03032

[18] C. Smorynski, Self-reference and modal logic, Universitext, Springer-Verlag (1985). | MR 807778 | Zbl 0596.03001

[19] R. Solovay, Provability interpretations of modal logics, Israel Journal Of Mat., 25 (1976), pp. 287-304. | MR 457153 | Zbl 0352.02019

[20] W. Taylor, Fixed points of endomorphisms, Algebra Universalis, vol. 2 (1972), pp. 74-76. | MR 306090 | Zbl 0263.08004

[21] A. Tarski, A lattice theoretical fixed-point theorem and applications, Pacific J. Math., 5 (1955), pp. 285-309. | MR 74376 | Zbl 0064.26004

[22] A. Ursini, Sulla varietà di algebre con una buona teoria degli ideali, Boll. Un. Mat. Ital., (4) 6 (1972), pp. 90-95. | MR 314728 | Zbl 0263.08006