The first order theory of Boolean algebras with a distinguished group of automorphisms-Reference-Cited by-同舟云学术

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

Published:1982-12 Issue:1 Volume:15 Page:156-161
ISSN:0002-5240
Container-title:Algebra Universalis
language:en
Short-container-title:Algebra Universalis

Author:

Burris Stanley

Publisher

Springer Science and Business Media LLC

Subject

Algebra and Number Theory

Link

http://link.springer.com/content/pdf/10.1007/BF02483719.pdf

Reference7 articles.

1. S. Burris andR. McKenzie,Decidability and Boolean Representations, Memoirs AMS, Vol. 32 No. 246, 1981.

2. S. Burris andH. Werner,Sheaf constructions and their elementary properties. Trans. AMS248 (1979), 269–309.

3. L. Henkin, D. Monk andA. Tarski,Cylindric Algebras. North Holland, 1971.

4. M. O. Rabin,Decidability of second-order theories and automata on infinite trees. Trans. AMS141 (1969), 1–35.

5. M. Rubin,The theory of Boolean algebras with a distinguished subalgebra is undecidable. Ann. Sci. Univ. Clermont No. 60 Math. No. 13 (1976), 129–134.

Cited by 6 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. On von Neumann regular rings with an automorphism;Journal of Algebra;2007-09

2. Congruence-distributive varieties of algebras;Journal of Soviet Mathematics;1990-04

3. Theory of Boolean algebras with a locally finite group of automorphisms;Siberian Mathematical Journal;1988

4. Elementary equivalence of Cσ(K) spaces for totally disconnected, compact Hausdorff K;Journal of Symbolic Logic;1986-03

5. Elementary and algebraic properties of the Arens-Kaplansky constructions;Algebra Universalis;1986-02