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

DOI10.1007/BF02483719zbMATH Open0465.08004MaRDI QIDQ1154492FDOQ1154492

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

• Decidability of Second-Order Theories and Automata on Infinite Trees
• Sheaf Constructions and Their Elementary Properties
• Decidability and Boolean representations
• Title not available (Why is that?)

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)