Applications of Boolean powers of algebraic systems

DOI10.1007/BF00968628zbMath0592.03009OpenAlexW2072957306MaRDI QIDQ1075311

Aleksandr Georgievich 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) Properties of classes of models (03C52) Model theory of denumerable and separable structures (03C15)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Boolean powers
• A Boolean Algebra with Few Subalgebras, Interval Boolean Algebras and Retractiveness
• Isomorphism and higher order equivalence
• Undecidable Theories in Stationary Logic
• Decidability and Boolean representations
• Two Undecidability Results using Modified Boolean Powers
• Compact extensions of L(Q) (part 1a)
• Zum Entscheidungsproblem für Theorien in Logiken mit Monadischen Verallgemeinerten Quantoren

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