Abstract
We complete our study of the decidability of Boolean algebras in terms of computability of a certain sequence of canonical ideals. We present a proof of the minimality of the conditions obtained for the decidability of Boolean algebras of all elementary characteristics.
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have