Kowalski, Tomasz; Metcalfe, George (2019). Uniform Interpolation and Coherence. Annals of pure and applied logic, 170(7), pp. 825-841. Elsevier 10.1016/j.apal.2019.02.004
|
Text
KowMet_Revised.pdf - Submitted Version Available under License Creative Commons: Attribution-Noncommercial-No Derivative Works (CC-BY-NC-ND). Download (380kB) | Preview |
|
![[img]](https://boris.unibe.ch/style/images/fileicons/text.png) |
Text
1-s2.0-S0168007219300156-main.pdf - Published Version Restricted to registered users only Available under License Publisher holds Copyright. Download (481kB) |
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.
Item Type: |
Journal Article (Original Article) |
|---|---|
Division/Institute: |
08 Faculty of Science > Department of Mathematics and Statistics > Institute of Mathematics |
UniBE Contributor: |
Metcalfe, George |
Subjects: |
500 Science > 510 Mathematics |
ISSN: |
0168-0072 |
Publisher: |
Elsevier |
Language: |
English |
Submitter: |
George Metcalfe |
Date Deposited: |
25 Apr 2019 13:36 |
Last Modified: |
05 Dec 2022 15:27 |
Publisher DOI: |
10.1016/j.apal.2019.02.004 |
BORIS DOI: |
10.7892/boris.127735 |
URI: |
https://boris.unibe.ch/id/eprint/127735 |
Actions (login required)
 |
Edit item |