Decidability and Boolean representations

DOI10.1090/MEMO/0246MaRDI QIDQ3941388zbMATH OpenOpenAlexFDO

Authors Ralph McKenzie, Stanley N. Burris

Publication date 1981

Published in Memoirs of the American Mathematical Society (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1090/memo/0246

zbMATH Keywords

abelian varietyBoolean productsdecidable first order theorydiscriminator varietylocally finite varietiesmodular varietiessub-Boolean powersvarietal productvariety of universal algebras

Mathematics Subject Classification ID

Decidability of theories and sets of sentences (03B25) Equational classes, universal algebra in model theory (03C05) Ultraproducts and related constructions (03C20) Congruence modularity, congruence distributivity (08B10) Products, amalgamated products, and other kinds of limits and colimits (08B25)

Cited in

(30)

• Boolean products and subdirect powers
• A simple proof of the hereditary undecidability of the theory of lattice- ordered Abelian groups
• Decision problems for classes of diagonalizable algebras
• Applications of Boolean powers of algebraic systems
• Expanding varieties by monoids of endomorphisms
• Elementary and algebraic properties of the Arens-Kaplansky constructions
• Decidable unary varieties
• Undecidability of free pseudo-complemented semilattices
• Undecidability of relatively free Hilbert algebras
• The decision problem for finite algebras from arithmetical varieties with equationally definable principal congruences
• Reduced sub-powers and the decision problem for finite algebras in arithmetical varieties
• Varieties with decidable finite algebras. I: Linearity
• Varieties with decidable finite algebras. II: Permutability
• The first order theory of Boolean algebras with a distinguished group of automorphisms
• Universal algebras
• Abelian algebras and the Hamiltonian property
• Narrowness implies uniformity
• A Characterization of Finitely Decidable Congruence Modular Varieties
• Finitely Decidable Congruence Modular Varieties
• Decidable Discriminator Varieties from Unary Classes
• The decidability of some classes of Stone algebras
• The theory of the polynomial many-one degrees of recursive sets is undecidable
• BL-global representations
• Counting models in universal Horn classes
• The number of non-isomorphic models in quasi-varieties of semigroups
• Universal algebraic methods for non-classical logics
• Boolean-like algebras of finite dimension: from Boolean products to semiring products
• A new product of algebras and a type reduction theorem
• Undecidability of the structure of the Solovay degrees of c.e. reals
• Congruence-distributive varieties of algebras

This page was built for publication: Decidability and Boolean representations

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