scientific article; zbMATH DE number 2154083

zbMATH Open1061.03042MaRDI QIDQ4664630FDOQ4664630

Authors: P. E. Alaev 

Publication date: 8 April 2005

Full work available at URL: https://eudml.org/doc/51246

Title of this publication is not available (Why is that?)

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

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)

Cited In (10)

• The minimality of certain decidability conditions for Boolean algebras
• Arithmetic hierarchy and ideals of enumerated Boolean algebras
• Degrees of autostability relative to strong constructivizations for Boolean algebras
• Boolean algebras of elementary characteristic \((1, 0, 1)\) whose set of atoms and Ershov-Tarski ideal are computable
• 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
• Title not available (Why is that?)

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)