A note on the fixed point for the polynomials of a Boolean algebra with an operator of endomorphism

MaRDI QIDQ1296423zbMATH OpenFDO

Authors Giuliana Gnani, Giuliano Mazzanti

Publication date 28 November 1999

Published in Rendiconti del Seminario Matematico della Università di Padova (Search for Journal in Brave)

Full work available at URL http://www.numdam.org/item?id=RSMUP_1999__101__39_0, https://eudml.org/doc/108490

zbMATH Keywords

fixed pointBoolean algebras with an endomorphism operator

Mathematics Subject Classification ID

Other algebras related to logic (03G25) Boolean algebras with additional operations (diagonalizable algebras, etc.) (06E25)

Recommendations

• scientific article; zbMATH DE number 4174994
• Fixed elements of noninjective endomorphisms of polynomial algebras in two variables
• A note on Boole polynomials
• scientific article; zbMATH DE number 3845646
• scientific article; zbMATH DE number 1062786
• Automorphisms of Boolean algebras determined by fixed points
• Endomorphismes de certaines algèbres à identités polynomiales
• Endomorphisms of monadic Boolean algebras
• Fixed point theorems in Boolean vector spaces
• Termal and polynomial endomorphisms of universal algebras

Cites work

• scientific article; zbMATH DE number 3164639 (Why is no real title available?)
• scientific article; zbMATH DE number 3751028 (Why is no real title available?)
• scientific article; zbMATH DE number 3547370 (Why is no real title available?)
• scientific article; zbMATH DE number 1170091 (Why is no real title available?)
• scientific article; zbMATH DE number 3319511 (Why is no real title available?)
• scientific article; zbMATH DE number 3414376 (Why is no real title available?)
• A COMPLETENESS RESULT FOR FIXED‐POINT ALGEBRAS
• A lattice-theoretical fixpoint theorem and its applications
• A system of complete and consistent truth
• Algebraization of quantifier logics, an introductory overview
• An axiomatic approach to self-referential truth
• An effective fixed-point theorem in intuitionistic diagonalizable algebras. (The algebraization of the theories which express Theor. IX.)
• Boolean Algebras with Operators
• Boolean Algebras with Operators. Part I
• Finite fixed point algebras are subdiagonalisable
• Fixed point algebras
• Fixed points of endomorphisms
• Provability interpretations of modal logic
• Self-reference and modal logic
• The lattice of modal logics: an algebraic investigation
• The uniqueness of the fixed-point in every diagonalizable algebra. (The algebraization of the theories which express Theor. VIII.)

Cited in

(4)

• A global convergence theorem in Boolean algebra
• On the number of fixed points of a Boolean transformation
• Highest endomorphisms of a Boolean lattice
• scientific article; zbMATH DE number 4174994 (Why is no real title available?)

This page was built for publication: A note on the fixed point for the polynomials of a Boolean algebra with an operator of endomorphism

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1296423)