Applications of Boolean powers of algebraic systems (Q1075311)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: Applications of Boolean powers of algebraic systems |
scientific article; zbMATH DE number 3950486
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Applications of Boolean powers of algebraic systems |
scientific article; zbMATH DE number 3950486 |
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
