scientific article; zbMATH DE number 3550696

MaRDI QIDQ4124831zbMATH OpenFDO

Authors Matatyahu Rubin

Publication date 1976

Full work available at URL http://www.numdam.org/item?id=ASCFM_1976__60_13_129_0, https://eudml.org/doc/80432

Mathematics Subject Classification ID

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

Cites work

• scientific article; zbMATH DE number 3480582 (Why is no real title available?)
• scientific article; zbMATH DE number 3316934 (Why is no real title available?)
• scientific article; zbMATH DE number 3062900 (Why is no real title available?)
• Cylindric algebras. Part II
• Decidability of Second-Order Theories and Automata on Infinite Trees
• Model theory

Cited in

(10)

• On varieties of cylindric algebras with applications to logic
• Decidable Discriminator Varieties from Unary Classes
• The decidability of some classes of Stone algebras
• Varieties with decidable finite algebras. I: Linearity
• Automorphisms of Boolean algebras definable by fixed elements
• Decidable varieties with modular congruence lattices
• Remarks on contact relations on Boolean algebras
• The first order theory of Boolean algebras with a distinguished group of automorphisms
• Iterated discriminator varieties have undecidable theories
• Finitely-axiomatizable superatomic Boolean algebras with distinguished dense subalgebra of finite width

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4124831)