Monadic algebras with finite degree

DOI10.1007/BF02485264zbMath0338.02033OpenAlexW2060978209MaRDI QIDQ1230626

Stephen D. Comer

Publication date: 1975

Published in: Algebra Universalis (Search for Journal in Brave)

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

Mathematics Subject Classification ID

Decidability of theories and sets of sentences (03B25) Cylindric and polyadic algebras; relation algebras (03G15)

Related Items

Rings and sheaves, Sheaf Constructions and Their Elementary Properties, Varieties with decidable finite algebras. I: Linearity, A Characterization of Function Rings with Boolean Domain, Decidable locally finite discriminator varieties arising from dihedral varieties of groups, Preservation theorems for limits of structures and global sections of sheaves of structures, Decidable Discriminator Varieties from Unary Classes, Varieties having Boolean factor congruences

Cites Work

• Unnamed Item
• Unnamed Item
• Modules over commutative regular rings
• On Equational Classes of Algebraic Versions of Logic I.
• A Sheaf-Theoretic Duality Theory for Cylindric Algebras