A note on the fixed point for the polynomials of a Boolean algebra with an operator of endomorphism
From MaRDI portal
Publication:1296423
zbMATH Open0938.06012MaRDI QIDQ1296423FDOQ1296423
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
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
Other algebras related to logic (03G25) Boolean algebras with additional operations (diagonalizable algebras, etc.) (06E25)
Cites Work
- An axiomatic approach to self-referential truth
- A system of complete and consistent truth
- A lattice-theoretical fixpoint theorem and its applications
- Title not available (Why is that?)
- Boolean Algebras with Operators. Part I
- Boolean Algebras with Operators
- Title not available (Why is that?)
- Provability interpretations of modal logic
- Title not available (Why is that?)
- Algebraization of quantifier logics, an introductory overview
- The lattice of modal logics: an algebraic investigation
- Title not available (Why is that?)
- Title not available (Why is that?)
- Self-reference and modal logic
- An effective fixed-point theorem in intuitionistic diagonalizable algebras. (The algebraization of the theories which express Theor. IX.)
- The uniqueness of the fixed-point in every diagonalizable algebra. (The algebraization of the theories which express Theor. VIII.)
- Fixed point algebras
- A COMPLETENESS RESULT FOR FIXED‐POINT ALGEBRAS
- Finite fixed point algebras are subdiagonalisable
- Fixed points of endomorphisms
- Title not available (Why is that?)
Cited In (1)
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)