scientific article; zbMATH DE number 2154090

MaRDI QIDQ4664637zbMATH OpenFDO

Authors P. E. Alaev

Publication date 8 April 2005

zbMATH Keywords

computable Boolean algebraelementary characteristic of a Boolean algebra

Mathematics Subject Classification ID

Computable structure theory, computable model theory (03C57) Theory of numerations, effectively presented structures (03D45)

Cited in

(3)

• Strong constructivizability of Boolean algebras of elementary characteristic \((\infty, 0, 0)\)
• 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

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4664637)