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) Congruence modularity, congruence distributivity (08B10) Model theory of denumerable and separable structures (03C15) Properties of classes of models (03C52)

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

• 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?)
• A Boolean Algebra with Few Subalgebras, Interval Boolean Algebras and Retractiveness
• Boolean powers
• Compact extensions of L(Q) (part 1a)
• Decidability and Boolean representations
• 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

(8)

• Boolean products and subdirect powers
• Boolean constructions in universal algebra
• BOOLEAN METHODS AND PTÁK'S SUM
• 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 powers over incomplete boolean algebras
• B-separating algebras
• Filtered and stable Boolean powers are relativized full Boolean powers

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)