Sufficient solvability conditions for Boolean algebras

zbMATH Open1249.03060MaRDI QIDQ2895849FDOQ2895849

Authors: M. N. Leont'eva 

Publication date: 13 July 2012

Published in: Vestnik Novosibirskogo Gosudarstvennogo Universiteta. Seriya: Matematika, Mekhanika, Informatika (Search for Journal in Brave)

Recommendations

• The minimality of certain decidability conditions for Boolean algebras
• Decidable Boolean algebras of characteristic \((1,0,1)\)
• Decidable Boolean algebras of low level
• Boolean algebras of elementary characteristic \((1, 0, 1)\) with computable set of atoms and computable ideal of atomic elements
• Strong constructivizability of Boolean algebras of elementary characteristic \((\infty, 0, 0)\)

zbMATH Keywords

Boolean algebracomputable model\(n\)-computabilitycomputable setErshov-Tarski idealstrongly computable modelFrechet idealelementary characteristic

Mathematics Subject Classification ID

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

Cited In (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: Sufficient solvability conditions for Boolean algebras

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