scientific article; zbMATH DE number 1302671

Publication date 5 October 1999

Full work available at URL https://eudml.org/doc/208917

decidability finitely decidable varieties finitely generated varieties locally finite varieties universal algebra varieties of finite type

Mathematics Subject Classification ID

Decidability of theories and sets of sentences (03B25) Congruence modularity, congruence distributivity (08B10) Products, amalgamated products, and other kinds of limits and colimits (08B25)

Review text

The author summarizes well a great deal of fundamental work on decidability issues for broad classes of algebraic structures. The only crucial assumptions are restrictions to locally finite varieties (and sometimes finitely generated varieties) or varieties of finite type. These assumptions support development of effective methods. Sample results discussed are: (1) Every finitely decidable locally finite congruence distributive variety is congruence permutable and congruence linear; (2) the converse of (1) in the finitely generated setting; and various results that permit us to use Feferman-Vaught type analyses. There is an extensive bibliography of related results. For the entire collection see [Zbl 0913.00019].

Recommendations

Cited in

(7)

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 Q4249223)