Boolean algebras of elementary characteristic \((1, 0, 1)\) whose set of atoms and Ershov-Tarski ideal are computable

From MaRDI portal
(Redirected from Boolean algebras of elementary characteristic (1, 0, 1) whose set of atoms and Ershov-Tarski ideal are computable)
Boolean algebras of elementary characteristic \((1, 0, 1)\) whose set of atoms and Ershov-Tarski ideal are computable