A sufficient condition for finite decidability
type: Item
instance of: scholarly article
title: A sufficient condition for finite decidability
zbMATH Open document ID: 0901.03012
DOI: 10.1007/BF01233917
published in: Algebra Universalis
publication date: 1998-11-24T00:00:00Z
Mathematics Subject Classification ID: 03B25
Mathematics Subject Classification ID: 08B26
Mathematics Subject Classification ID: 03C13
zbMATH DE Number: 1226561
zbMATH Keywords: locally finite variety
zbMATH Keywords: finitely generated variety
zbMATH Keywords: congruence permutability
zbMATH Keywords: finite decidability
author: Michael Albert
MaRDI profile type: Publication
cites work: Sheaf Constructions and Their Elementary Properties
cites work: Q3775604
cites work: The structure of finite algebras
cites work: Decidability problem for finite Heyting algebras
cites work: Reduced sub-powers and the decision problem for finite algebras in arithmetical varieties
cites work: Varieties with decidable finite algebras. I: Linearity
cites work: Varieties with decidable finite algebras. II: Permutability
cites work: Finitely Decidable Congruence Modular Varieties
cites work: Decidability of Second-Order Theories and Automata on Infinite Trees
cites work: Q4128808
description: scientific article; zbMATH DE number 1226561