Varieties with decidable finite algebras. I: Linearity
type: Item
instance of: scholarly article
title: Varieties with decidable finite algebras. I: Linearity
zbMATH Open document ID: 0679.08002
DOI: 10.1007/BF01236870
author: Paweł M. Idziak
published in: Algebra Universalis
publication date: 1989-01-01T00:00:00Z
review text: This article is reviewed together with the following one (see Zbl 0679.08003).
Mathematics Subject Classification ID: 08B10
zbMATH DE Number: 4112668
zbMATH Keywords: finitely generated variety
zbMATH Keywords: congruence distributive
zbMATH Keywords: decidable
zbMATH Keywords: congruence permutable
zbMATH Keywords: congruence linear
zbMATH Keywords: subdirectly irreducible algebra
zbMATH Keywords: hereditarily undecidable
zbMATH Keywords: semantical interpretation
zbMATH Keywords: Boolean power
zbMATH Keywords: congruence modular
MaRDI profile type: Publication
cites work: Decidability and Boolean representations
cites work: Finite inseparability of some theories of cylindrification algebras
cites work: Monadic algebras with finite degree
cites work: Complete and model-complete theories of monadic algebras
cites work: The elementary theory of abelian groups
cites work: Q5596792
cites work: Undecidability of Some Topological Theories
cites work: Undecidability of Brouwerian semilattices
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: The decision problem for finite algebras from arithmetical varieties with equationally definable principal congruences
cites work: The structure of decidable locally finite varieties
cites work: Q4124831
cites work: Elementary properties of Abelian groups
cites work: Q5802110
cites work: Q4128808
cites work: A non-Abelian variety of groups has an undecidable elementary theory
full work available at URL: https://doi.org/10.1007/bf01236870
OpenAlex ID: W1597575289
description: scientific article; zbMATH DE number 4112668