Decidable Boolean algebras of low level

Decidability of theories and sets of sentences (03B25) Computable structure theory, computable model theory (03C57) Theory of numerations, effectively presented structures (03D45) Structure theory of Boolean algebras (06E05)

Review text

In this paper the author studies the question on decidability for Boolean algebras of low level. The author notes that the decidability problem for classes of algorithmic problems on effectively prescribed systems is one of the main purposes of the theory of constructive models. Studying constructive models, it is important to investigate correlations between the decidability of different algorithmic problems in a constructive model as well as the study of these questions depending on the choice of constructivizations. The author studies interconnections between the decidability of all elementary properties of a constructive Boolean algebra and that of all atomic properties of enrichments of the Boolean algebra. The author notes that to answer the question whether a Boolean algebra is decidable, it is important to study the existence of constructivizations of enrichments of a Boolean algebra \(\mathcal B\) to algebraic systems of the restricted signatures \(\sigma_n, n\in\omega\). In the paper under review the author studies the question concerning the decidability of a Boolean algebra if its characterization is \((1,1,0)\). It is proved that if a Boolean algebra \({\mathcal U}\) admits a constructivization with a recursive set of numbers of atoms and \(\text{ch}({\mathcal U})= (1,1,0)\), then \(\mathcal U\) is decidable. Further, the author analyses a recursive Boolean algebra \(\mathcal U\) with a recursive set of atoms and recursive Ershov-Tarski ideal \(I({\mathcal U})\). Using this investigation, he proves that if a Boolean algebra \(\mathcal U\) admits a constructivization in signature \(\sigma_{4n-1}\) and \(\text{ch}({\mathcal U}) = (n+1,1,0)\), then \(\mathcal U\) is decidable.

Recommendations

Cites work

Cited in

(9)

This page was built for publication: Decidable Boolean algebras of low level

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1295398)