Subdirectly irreducible separable dynamic algebras

DOI10.1002/MALQ.200910033zbMATH Open1196.03083OpenAlexW2068234036MaRDI QIDQ3583808FDOQ3583808

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

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

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)

Cites Work

• Title not available (Why is that?)
• Title not available (Why is that?)
• Universal algebra and applications in theoretical computer science
• Monadic dynamic algebras
• Congruences on Dynamic Algebras

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)