Decidable discriminator varieties with lattice stalks (Q1319051): Difference between revisions
From MaRDI portal
Set profile property. |
ReferenceBot (talk | contribs) Changed an Item |
||
Property / cites work | |||
Property / cites work: Equational compactness in quasi-primal varieties / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Decidable discriminator varieties from unary varieties / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3934450 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Sheaf Constructions and Their Elementary Properties / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Stable Finitely Homogeneous Structures / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: On countable stable structures which are homogeneous for a finite relational language / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: A note on ℵ0-categorical model-companions / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Decidable Discriminator Varieties from Unary Classes / rank | |||
Normal rank |
Revision as of 14:28, 22 May 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Decidable discriminator varieties with lattice stalks |
scientific article |
Statements
Decidable discriminator varieties with lattice stalks (English)
0 references
20 April 1995
0 references
If \(\mathcal K\) is any universal class of algebras w.r.t. a language \(L\), choose a ternary operation symbol \(t\) outside \(L\) and let \({\mathcal K}^ t\) be the class of all \(L(t)\) expansions of algebras in \(\mathcal K\). Then \({\mathcal V}({\mathcal K}^ t)\), the variety generated by \({\mathcal K}^ t\), is a discriminator variety, and every discriminator variety is definitionally equivalent to some \({\mathcal V} ({\mathcal K}^ t)\). The main result of this paper states that for \(\mathcal K\) a universal class of lattices, \({\mathcal V}({\mathcal K}^ t)\) is decidable iff \(\mathcal K\) does not contain the chain of rationals (under the usual order) nor one of three close derivates of \(M_ \omega\), the modular lattice consisting of top, bottom and \(\omega\) atoms. The proof rests on a subtle analysis of ``finite perturbations'' of homogeneity in the algebras under consideration. Roughly, it is shown that the result of \textit{S. Burris}, \textit{R. McKenzie} and \textit{M. Valeriote} [J. Symb. Log. 56, No. 4, 1355-1368 (1991; Zbl 0747.08008)], that \({\mathcal V}({\mathcal K}^ t)\) is decidable provided \(\mathcal K\) is locally finite, finitely axiomatizable, universal and consists of homogeneous algebras, continues to hold if the requirement of homogeneity is weakened in certain finite situations. The actual definitions are too complex to be stated here; nevertheless, they provide evidence that the watershed separating decidability and undecidability for locally finite discriminator varieties may be described in terms of weak forms of homogeneity. See also the author's preceding paper ``Decidable discriminator varieties from unary classes'' [Trans. Am. Math. Soc. 336, No. 1, 311-333 (1993; Zbl 0776.03013)].
0 references
local finiteness
0 references
discriminator variety
0 references
universal class of lattices
0 references
homogeneity
0 references
decidability
0 references