Boolean algebras of elementary characteristic \((1, 0, 1)\) whose set of atoms and Ershov-Tarski ideal are computable
From MaRDI portal
Publication:695763
DOI10.1007/s10469-011-9126-9zbMath1345.03064MaRDI QIDQ695763
Publication date: 17 December 2012
Published in: Algebra and Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s10469-011-9126-9
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, Strong constructivizability of Boolean algebras of elementary characteristic \((\infty, 0, 0)\)
Cites Work