Publication:4664637
From MaRDI portal
zbMath1062.03035MaRDI QIDQ4664637
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, Strong constructivizability of Boolean algebras of elementary characteristic \((\infty, 0, 0)\)