Strongly constructive Boolean algebras

DOI10.1007/S10469-005-0001-4zbMath1096.03043OpenAlexW1983005789MaRDI QIDQ5476784

P. E. Alaev

Publication date: 18 July 2006

Published in: Algebra and Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s10469-005-0001-4

zbMATH Keywords

computable Boolean algebradecidable Boolean algebra

Mathematics Subject Classification ID

Structure theory of Boolean algebras (06E05) Computable structure theory, computable model theory (03C57)

Related Items (2)

The minimality of certain decidability conditions for Boolean algebras ⋮ Strong constructivizability of Boolean algebras of elementary characteristic \((\infty, 0, 0)\)

This page was built for publication: Strongly constructive Boolean algebras