The first order theory of Boolean algebras with a distinguished group of automorphisms

DOI10.1007/BF02483719zbMath0465.08004MaRDI QIDQ1154492

Stanley N. Burris

Publication date: 1982

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

zbMATH Keywords

decidable theoryfinitely generated discriminator varietyvariety of Boolean algebras

Mathematics Subject Classification ID

Decidability of theories and sets of sentences (03B25) Equational logic, Mal'tsev conditions (08B05) Automorphisms and endomorphisms of algebraic structures (08A35)

Related Items (4)

Expanding varieties by monoids of endomorphisms ⋮ Elementary equivalence of C_σ(K) spaces for totally disconnected, compact Hausdorff K ⋮ Congruence-distributive varieties of algebras ⋮ On von Neumann regular rings with an automorphism

Cites Work

• Unnamed Item
• Decidability and Boolean representations
• Sheaf Constructions and Their Elementary Properties
• Decidability of Second-Order Theories and Automata on Infinite Trees

This page was built for publication: The first order theory of Boolean algebras with a distinguished group of automorphisms