Applications of Boolean powers of algebraic systems (Q1075311)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Applications of Boolean powers of algebraic systems |
scientific article |
Statements
Applications of Boolean powers of algebraic systems (English)
0 references
1985
0 references
The Boolean power operation enables to transfer some properties of Boolean algebras to other classes of algebraic systems. In the paper, the Boolean powers method is applied to prove the undecidability of some non- classical theories of classes of algebraic systems (this generalizes some results of Burris). There are also some consistency results for the existence (in a given congruence-modular or congruence-distributive variety) of countable systems which are equivalent in some logical calculus, but non-isomorphic.
0 references
undecidability of some non-classical theories of classes of
0 references
algebraic systems
0 references
consistency results
0 references
countable systems
0 references
undecidability of some non-classical theories of classes of algebraic systems
0 references
0 references