scientific article; zbMATH DE number 2154086

MaRDI QIDQ4664633zbMATH OpenFDO

Authors P. E. Alaev

Publication date 8 April 2005

zbMATH Keywords

computable Boolean algebrahyperarithmetical Boolean algebra

Mathematics Subject Classification ID

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

Recommendations

• Computable Boolean algebras
• Recursive homogeneous Boolean algebras
• Countable homogeneous Boolean algebras
• scientific article; zbMATH DE number 2203952
• Computable isomorphisms of Boolean algebras with operators
• scientific article; zbMATH DE number 40503
• On Boolean Algebras and their Recursive Completions
• Boolean algebras with finite families of computable automorphisms
• On axiomatizations of Boolean algebras

Cited in

(11)

• scientific article; zbMATH DE number 1534579 (Why is no real title available?)
• scientific article; zbMATH DE number 2154083 (Why is no real title available?)
• 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
• Countable homogeneous Boolean algebras
• On the computability of ordered fields
• On the $n$-back-and-forth types of Boolean algebras
• Boolean algebra approximations
• On the 1-decidability of Boolean algebras with one distinguished ideal
• Recursive homogeneous Boolean algebras
• Learning families of algebraic structures from informant

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 Q4664633)