scientific article; zbMATH DE number 3550696

zbMATH Open0354.02036MaRDI QIDQ4124831FDOQ4124831

Authors: Matatyahu Rubin 

Publication date: 1976

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

Title of this publication is not available (Why is that?)

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

• Cylindric algebras. Part II
• Model theory
• Decidability of Second-Order Theories and Automata on Infinite Trees
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)

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)