Countable Boolean Algebras and Decidability (Siberian School of Algebra and Logic)