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.03064OpenAlexW2028362788MaRDI 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
Computable structure theory, computable model theory (03C57) Theory of numerations, effectively presented structures (03D45)
Related Items
The minimality of certain decidability conditions for Boolean algebras, Strong constructivizability of Boolean algebras of elementary characteristic \((\infty, 0, 0)\)
Cites Work