Publication:4664633
From MaRDI portal
zbMath1062.03034MaRDI QIDQ4664633
Publication date: 8 April 2005
03C57: Computable structure theory, computable model theory
03D45: Theory of numerations, effectively presented structures
Related Items
The minimality of certain decidability conditions for Boolean algebras, Boolean algebras of elementary characteristic \((1, 0, 1)\) whose set of atoms and Ershov-Tarski ideal are computable, Learning families of algebraic structures from informant, On the $n$-back-and-forth types of Boolean algebras, Boolean algebra approximations