Name
Abstract | ||
|---|---|---|
A variety V is said to be coherent if every finitely generated subalgebra of a finitely presented member of V is finitely presented. It is shown here that coherence corresponds to a key ingredient of uniform deductive interpolation for equational consequence in V: the property that any compact congruence on a finitely generated free algebra of V restricted to a free algebra over fewer generators is compact. A general criterion is derived for establishing failures of coherence, and hence also of uniform deductive interpolation. The criterion is then applied in conjunction with properties of canonical extensions to prove that coherence and uniform deductive interpolation fail for certain varieties of Boolean algebras with operators (including varieties for the modal logic K and KT), double-Heyting algebras, residuated lattices, and lattices. |
Year | DOI | Venue |
|---|---|---|
2019 | 10.1016/j.apal.2019.02.004 | Annals of Pure and Applied Logic |
Keywords | Field | DocType |
03B45,03F52,08B20,03G10,08A30,06B23 | Subalgebra,Discrete mathematics,Lattice (order),Interpolation,Coherence (physics),Operator (computer programming),Modal logic,Congruence (geometry),Free algebra,Mathematics | Journal |
Volume | Issue | ISSN |
170 | 7 | 0168-0072 |
Citations | PageRank | References |
1 | 0.36 | 7 |
Authors | ||
2 | ||
Name | Order | Citations | PageRank |
|---|---|---|---|
| Tomasz Kowalski | 1 | 124 | 24.06 |
| george metcalfe | 2 | 196 | 20.10 |