scientific article; zbMATH DE number 3550696

zbMath0354.02036MaRDI QIDQ4124831

Matatyahu Rubin

Publication date: 1976

Full work available at URL: http://www.numdam.org/item?id=ASCFM_1976__60_13_129_0

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

Mathematics Subject Classification ID

Decidability of theories and sets of sentences (03B25) Logical aspects of Boolean algebras (03G05) Cylindric and polyadic algebras; relation algebras (03G15)

Related Items (10)

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

• Cylindric algebras. Part II
• Model theory
• Decidability of Second-Order Theories and Automata on Infinite Trees
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: