Constructive Boolean algebras

DOI10.1007/BF01158027MaRDI QIDQ1121876zbMATH OpenOpenAlexFDO

Authors V. D. Dzgoev

Publication date 1988

Published in Mathematical Notes (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/bf01158027

zbMATH Keywords

[https://portal.mardi4nfdi.de/w/index.php?title=+Special%3ASearch&search=Fr%EF%BF%BD%EF%BF%BDchet+ideal&go=Go Fr��chet ideal]constructivizationconstructive Boolean algebraatomic Boolean algebra

Mathematics Subject Classification ID

Computable structure theory, computable model theory (03C57) Theory of numerations, effectively presented structures (03D45) Boolean algebras (Boolean rings) (06E99)

Recommendations

• scientific article; zbMATH DE number 4081539
• scientific article; zbMATH DE number 725286
• scientific article; zbMATH DE number 1303207
• Constructive version of Boolean algebra
• Strongly constructive Boolean algebras
• scientific article; zbMATH DE number 428362
• Boolean constructions in universal algebra
• scientific article; zbMATH DE number 1534579
• Boolean-like algebras
• scientific article; zbMATH DE number 3884230

Cited in

(10)

• Constructive version of Boolean algebra
• scientific article; zbMATH DE number 1534579 (Why is no real title available?)
• Boolean Algebras and Distributive Lattices Treated Constructively
• More constructions for Boolean algebras
• scientific article; zbMATH DE number 2202279 (Why is no real title available?)
• BOOLEAN ALGEBRAS IN AST
• Set-theoretical Constructions of Boolean Functions and theirs Applications in Logic Synthesis
• scientific article; zbMATH DE number 4053699 (Why is no real title available?)
• scientific article; zbMATH DE number 428362 (Why is no real title available?)
• Playful Boolean Algebras

This page was built for publication: Constructive Boolean algebras

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