Boolean constructions in universal algebra

DOI10.1070/RM1992V047N04ABEH000917MaRDI QIDQ4272162zbMATH OpenOpenAlexFDO

Authors A. G. Pinus

Publication date 1 February 1994

Published in Russian Mathematical Surveys (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1070/rm1992v047n04abeh000917

zbMATH Keywords

Boolean algebrasBoolean powerBoolean productcongruence-distributive varietiesdecidabilitydiscriminator varietiesskeletonssurvey

Mathematics Subject Classification ID

Nonclassical models (Boolean-valued, sheaf, etc.) (03C90) Boolean algebras (Boolean rings) (06E99) Research exposition (monographs, survey articles) pertaining to general algebraic systems (08-02) Congruence modularity, congruence distributivity (08B10)

Recommendations

• scientific article; zbMATH DE number 428362
• scientific article; zbMATH DE number 3912445
• Publication:4896513
• Applications of Boolean powers of algebraic systems
• scientific article; zbMATH DE number 125212

Cited in

(27)

• Boolean products and subdirect powers
• Applications of Boolean powers of algebraic systems
• Constructive Boolean algebras
• Embeddability skeletons of non-locally finite discriminator varieties with a poor algebra
• More constructions for Boolean algebras
• Boolean unification - the story so far
• On lattices in skeletons of embeddability of varieties
• The finitary independence of epimorphism and embedding relations
• Algebraic and logical geometries of universal algebras (a unified approach)
• Quasi-Boolean powers of elementary Abelian \(p\)-groups
• Varieties whose skeletons are lattices
• scientific article; zbMATH DE number 428362 (Why is no real title available?)
• Generalized Disjunctive Languages and Universal Algebra
• Boolean-like algebras
• scientific article; zbMATH DE number 3912445 (Why is no real title available?)
• scientific article; zbMATH DE number 4053699 (Why is no real title available?)
• scientific article; zbMATH DE number 125212 (Why is no real title available?)
• BOOLEAN ALGEBRAS IN AST
• Towards a calculus of algorithms
• scientific article; zbMATH DE number 1534579 (Why is no real title available?)
• scientific article; zbMATH DE number 915938 (Why is no real title available?)
• scientific article; zbMATH DE number 937373 (Why is no real title available?)
• Constructive version of Boolean algebra
• Set-theoretical Constructions of Boolean Functions and theirs Applications in Logic Synthesis
• Extensional Uniformity for Boolean Circuits
• Boolean-like algebras of finite dimension: from Boolean products to semiring products
• New algebraic invariants for definable subsets in universal algebra

This page was built for publication: Boolean constructions in universal algebra

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