Applications of Boolean powers of algebraic systems

DOI10.1007/BF00968628MaRDI QIDQ1075311zbMATH OpenOpenAlexFDO

Authors A. G. Pinus

Publication date 1985

Published in Siberian Mathematical Journal (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/bf00968628

zbMATH Keywords

algebraic systemsconsistency resultscountable systemsundecidability of some non-classical theories of classes ofundecidability of some non-classical theories of classes of algebraic systems

Mathematics Subject Classification ID

Decidability of theories and sets of sentences (03B25) Model theory of denumerable and separable structures (03C15) Properties of classes of models (03C52) Congruence modularity, congruence distributivity (08B10)

Review text

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.

Recommendations

• scientific article; zbMATH DE number 894330
• scientific article; zbMATH DE number 3912445
• Boolean powers over incomplete boolean algebras
• Boolean constructions in universal algebra
• scientific article; zbMATH DE number 3884128

Cites work

• A Boolean Algebra with Few Subalgebras, Interval Boolean Algebras and Retractiveness
• Boolean powers
• Compact extensions of L(Q) (part 1a)
• Decidability and Boolean representations
• scientific article; zbMATH DE number 3884128 (Why is no real title available?)
• scientific article; zbMATH DE number 3754665 (Why is no real title available?)
• scientific article; zbMATH DE number 3561336 (Why is no real title available?)
• Isomorphism and higher order equivalence
• Two Undecidability Results using Modified Boolean Powers
• Undecidable Theories in Stationary Logic
• Zum Entscheidungsproblem für Theorien in Logiken mit Monadischen Verallgemeinerten Quantoren

Cited in

(9)

• Boolean products and subdirect powers
• B-separating algebras
• Filtered and stable Boolean powers are relativized full Boolean powers
• scientific article; zbMATH DE number 3884128 (Why is no real title available?)
• scientific article; zbMATH DE number 3912445 (Why is no real title available?)
• Boolean constructions in universal algebra
• BOOLEAN METHODS AND PTÁK'S SUM
• scientific article; zbMATH DE number 894330 (Why is no real title available?)
• Boolean powers over incomplete boolean algebras

This page was built for publication: Applications of Boolean powers of algebraic systems

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