Computable Boolean algebras

E-ISSN： 1943-5886|65|4|1605-1623

ISSN： 0022-4812

Source： The Journal of Symbolic Logic, Vol.65, Iss.4, 2000-12, pp. : 1605-1623

Disclaimer: Any content in publications that violate the sovereignty, the constitution or regulations of the PRC is not accepted or approved by CNPIEC.

Previous Menu Next

Abstract

Related content

Computable Homogeneous Boolean Algebras and a Metatheorem

By Alaev P. E.

Algebra and Logic, Vol. 43, Iss. 2, 2004-03 ,pp. : 73-87

Springer Publishing Company

Access to resources Recommend Favorite

Computable Numberings of the Class of Boolean Algebras with Distinguished Endomorphisms

By Bazhenov N.

Algebra and Logic, Vol. 52, Iss. 5, 2013-11 ,pp. : 355-366

Springer Publishing Company

Access to resources Recommend Favorite

Boolean algebras of elementary characteristic (1, 0, 1) whose set of atoms and Ershov-Tarski ideal are computable

By Leontieva M.

Algebra and Logic, Vol. 50, Iss. 2, 2011-05 ,pp. : 93-105

Springer Publishing Company

Access to resources Recommend Favorite

Computable ideals in I-algebras

By Alaev P.

Algebra and Logic, Vol. 49, Iss. 2, 2010-05 ,pp. : 103-114

Springer Publishing Company

Access to resources Recommend Favorite

Strongly constructive Boolean algebras

By Alaev P.

Algebra and Logic, Vol. 44, Iss. 1, 2005-01 ,pp. : 1-12

Springer Publishing Company

Access to resources Recommend Favorite