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

DOI10.1007/BF02483719MaRDI QIDQ1154492zbMATH OpenFDO

Authors 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

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

Cites work

• scientific article; zbMATH DE number 3550696 (Why is no real title available?)
• Decidability and Boolean representations
• Decidability of Second-Order Theories and Automata on Infinite Trees
• Sheaf Constructions and Their Elementary Properties

Cited in

(4)

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

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

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