Publication:4124831
From MaRDI portal
zbMath0354.02036MaRDI QIDQ4124831
Publication date: 1976
Full work available at URL: http://www.numdam.org/item?id=ASCFM_1976__60_13_129_0
03B25: Decidability of theories and sets of sentences
03G05: Logical aspects of Boolean algebras
03G15: Cylindric and polyadic algebras; relation algebras
Related Items
The decidability of some classes of Stone algebras, Finitely-axiomatizable superatomic Boolean algebras with distinguished dense subalgebra of finite width, Iterated discriminator varieties have undecidable theories, On varieties of cylindric algebras with applications to logic, Varieties with decidable finite algebras. I: Linearity, The first order theory of Boolean algebras with a distinguished group of automorphisms, Remarks on contact relations on Boolean algebras, Automorphisms of Boolean algebras definable by fixed elements, Decidable varieties with modular congruence lattices, Decidable Discriminator Varieties from Unary Classes
Cites Work