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
Decidability of theories and sets of sentences (03B25) Logical aspects of Boolean algebras (03G05) Cylindric and polyadic algebras; relation algebras (03G15)
Related Items
Iterated discriminator varieties have undecidable theories, On varieties of cylindric algebras with applications to logic, Varieties with decidable finite algebras. I: Linearity, Remarks on contact relations on Boolean algebras, Automorphisms of Boolean algebras definable by fixed elements, The decidability of some classes of Stone algebras, The first order theory of Boolean algebras with a distinguished group of automorphisms, Finitely-axiomatizable superatomic Boolean algebras with distinguished dense subalgebra of finite width, Decidable Discriminator Varieties from Unary Classes, Decidable varieties with modular congruence lattices
Cites Work