Extending Baker's theorem (Q5950760): Difference between revisions
From MaRDI portal
Added link to MaRDI item. |
Set profile property. |
||
Property / MaRDI profile type | |||
Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank |
Latest revision as of 00:47, 5 March 2024
scientific article; zbMATH DE number 1682610
Language | Label | Description | Also known as |
---|---|---|---|
English | Extending Baker's theorem |
scientific article; zbMATH DE number 1682610 |
Statements
Extending Baker's theorem (English)
0 references
16 December 2001
0 references
In 1972, K. Baker stated the famous theorem: Let \(\mathcal V\) be a congruence distributive variety in a finite language. If \(\mathcal V\) is residually bounded then \(\mathcal V\) is finitely based. R. Park conjectured in 1976 a positive answer to the following problem: Suppose \(\mathcal V\) is a variety in a finite language. If \(\mathcal V\) is residually bounded, must \(\mathcal V\) be finitely based? The problem remains open, but the author proved in a recent paper that Baker's theorem remains true when congruence distributivity is replaced by meet congruence semi-distributivity. The present paper summarizes the combinatorical properties of congruence generation which are relevant to Baker's theorem and explains the author's approach to extending this theorem to congruence semi-distributive varieties.
0 references
equational theory
0 references
congruence semi-distributive varieties
0 references
finitely based variety
0 references
congruence distributive variety
0 references
residually small variety
0 references