Constructive Boolean algebras

DOI10.1007/BF01158027zbMATH Open0675.03027OpenAlexW2044952161MaRDI QIDQ1121876

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

Fréchet idealconstructivizationconstructive Boolean algebraatomic Boolean algebra

Mathematics Subject Classification ID

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

Related Items (4)

BOOLEAN ALGEBRAS IN AST ⋮ Unnamed Item ⋮ Playful Boolean Algebras ⋮ Unnamed Item

Recommendations

• Boolean-like algebras 👍 👎
• Boolean constructions in universal algebra 👍 👎
• Constructive version of Boolean algebra 👍 👎
• Strongly constructive Boolean algebras 👍 👎
• Unnamed Item 👍 👎
• Unnamed Item 👍 👎
• Unnamed Item 👍 👎
• Unnamed Item 👍 👎
• Unnamed Item 👍 👎
• Unnamed Item 👍 👎

This page was built for publication: Constructive Boolean algebras