Publication:4664630
From MaRDI portal
zbMath1061.03042MaRDI QIDQ4664630
Publication date: 8 April 2005
Full work available at URL: https://eudml.org/doc/51246
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, Degrees of autostability relative to strong constructivizations for Boolean algebras