Carnegie Mellon University
Browse

A sufficient condition for finite decidability

Download (1.13 MB)
journal contribution
posted on 1991-01-01, 00:00 authored by Michael H. Albert
Abstract: "We prove that a locally finite, finitely generated, congruence modular variety V whose subdirectly irreducible algebras are all either abelian or linear type 3 above the monolith is finitely decidable if and only if the theory of the finite abelian algebras in V is decidable."

History

Publisher Statement

All Rights Reserved

Date

1991-01-01

Usage metrics

    Exports

    RefWorks
    BibTeX
    Ref. manager
    Endnote
    DataCite
    NLM
    DC