Countable Boolean algebras and decidability | lit.salon