scientific article; zbMATH DE number 2154083

MaRDI QIDQ4664630zbMATH OpenFDO

Authors P. E. Alaev

Publication date 8 April 2005

Full work available at URL https://eudml.org/doc/51246, http://www.emis.de/journals/SMZ/2004/05/content5.htm

zbMATH Keywords

computable Boolean algebra with a distinguished idealhyperarithmetical Boolean algebra

Mathematics Subject Classification ID

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

Recommendations

• scientific article; zbMATH DE number 2154086
• Arithmetic hierarchy and ideals of enumerated Boolean algebras
• Boolean algebras of elementary characteristic \((1, 0, 1)\) with computable set of atoms and computable ideal of atomic elements
• Boolean algebras of elementary characteristic \((1, 0, 1)\) whose set of atoms and Ershov-Tarski ideal are computable
• scientific article; zbMATH DE number 6261978

Cited in

(10)

• scientific article; zbMATH DE number 1396729 (Why is no real title available?)
• The minimality of certain decidability conditions for Boolean algebras
• Arithmetic hierarchy and ideals of enumerated 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
• Computable numberings of the class of Boolean algebras with distinguished endomorphisms
• Definability of sentences in the language of Boolean algebras with distinguished ideals
• On the 1-decidability of Boolean algebras with one distinguished ideal
• Finitely axiomatizable Boolean algebras with distinguished ideals
• Some Boolean algebras with finitely many distinguished ideals II

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