Uniform Interpolation and Coherence

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

[img] Text
KowMet_Revised.pdf - Submitted Version
Restricted to registered users only until 1 August 2021.
Available under License Creative Commons: Attribution-Noncommercial-No Derivative Works (CC-BY-NC-ND).

Download (380kB) | Request a copy
[img] Text
1-s2.0-S0168007219300156-main.pdf - Published Version
Restricted to registered users only
Available under License Publisher holds Copyright.

Download (481kB) | Request a copy

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:

23 Oct 2019 12:05

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 Edit item
Provide Feedback