Algebra and Logic

, Volume 43, Issue 2, pp 73-87

First online:

Computable Homogeneous Boolean Algebras and a Metatheorem

  • P. E. AlaevAffiliated withInstitute of Mathematics SB RAS

Rent the article at a discount

Rent now

* Final gross prices may vary according to local VAT.

Get Access


We consider computable homogeneous Boolean algebras. Previously, countable homogeneous Boolean algebras have been described up to isomorphism and a simple criterion has been found for the existence of a strongly constructive (decidable) isomorphic copy for such. We propose a natural criterion for the existence of a constructive (computable) isomorphic copy. For this, a new hierarchy of \({\emptyset ^{(\omega )}} \)-computable functions and sets is introduced, which is more delicate than Feiner's. Also, a metatheorem is proved connecting computable Boolean algebras and their hyperarithmetical quotient algebras.

computable homogeneous Boolean algebra constructive copy for an algebra hierarchy