Subdirectly irreducible separable dynamic algebras

DOI10.1002/MALQ.200910033MaRDI QIDQ3583808zbMATH OpenOpenAlexFDO

Authors Sandra Marques Pinto, M. Teresa Oliveira-Martins

Publication date 18 August 2010

Published in Mathematical Logic Quarterly (Search for Journal in Brave)

Full work available at URL http://hdl.handle.net/10316/11166

zbMATH Keywords

Boolean algebra with operatorssubdirectly irreducible algebradynamic algebraessential elementdynamic congruencesimple separable dynamic algebra

Mathematics Subject Classification ID

Logic in computer science (03B70) Other algebras related to logic (03G25) Boolean algebras with additional operations (diagonalizable algebras, etc.) (06E25)

Recommendations

• Subdirectly irreducible quasi-modal algebras
• Subdirectly irreducible IKt-algebras
• Subdirectly irreducible algebras with various equations
• Monadic dynamic algebras
• scientific article; zbMATH DE number 4110689

Cites work

• scientific article; zbMATH DE number 3704559 (Why is no real title available?)
• scientific article; zbMATH DE number 3751028 (Why is no real title available?)
• Congruences on Dynamic Algebras
• Monadic dynamic algebras
• Universal algebra and applications in theoretical computer science

Cited in

(10)

• Subdirectly irreducible algebras with various equations
• Subdirectly irreducible quasi-modal algebras
• Irreducible subalgebra primal algebras
• ALL SUBDIRECTLY IRREDUCIBLE BDLC-ALGEBRAS
• A dual characterization of subdirectly irreducible BAOs
• Subdirectly irreducible IKt-algebras
• \(T_1\)-separable numberings of subdirectly indecomposable algebras
• Separable Kripke structures are algebraically universal
• The structure of separable Dynkin algebras
• Separability and decidability results for varieties of Jónsson dynamic algebras

This page was built for publication: Subdirectly irreducible separable dynamic algebras

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