The first order theory of Boolean algebras with a distinguished group of automorphisms
From MaRDI portal
Publication:1154492
DOI10.1007/BF02483719zbMath0465.08004MaRDI QIDQ1154492
Publication date: 1982
Published in: Algebra Universalis (Search for Journal in Brave)
03B25: Decidability of theories and sets of sentences
08B05: Equational logic, Mal'tsev conditions
08A35: Automorphisms and endomorphisms of algebraic structures
Related Items
Congruence-distributive varieties of algebras, Expanding varieties by monoids of endomorphisms, On von Neumann regular rings with an automorphism, Elementary equivalence of Cσ(K) spaces for totally disconnected, compact Hausdorff K
Cites Work