- Message from the Dean
- History
- Education and Research
- Staff Introduction
- Seminars & Events
- Distinctive Programs
- Access
- Job Openings
- Publications
- Related Links
- Contacts

## Seminars

### Uniform interpolation and coherence

- Hold Date
- 2019-02-12 12:00〜2019-02-12 13:00
- Place
- Seminar Room W1-D-710, West Zone 1, Ito campus, Kyushu University
- Object person
- Speaker
- Tomasz Kowalski, (La Trobe University)

Abstract:

Interpolation is a logical property. Roughly, it says that if A implies B, then there is a C, in the vocabulary common to A and B, such that A implies C and C implies B. Coherence originated in sheaf theory, and has been studied intensively in algebra, mostly for groups, semigroups, rings and modules. A model theoretic definition of coherence is that a class K is coherent if every finitely generated substructure of a finitely presented structure in K is itself finitely presented.

Surprisingly (at least to us) it turns out that a version of interpolation is almost equivalent to coherence, and the missing bit is quite neat. We also have a general criterion for coherence, applicable to classes of ordered algebraic structures. Using it, we proved failures of coherence (and thus interpolation) for a number of such classes, in particular for Boolean algebras with operators and residuated lattices (both classes of some significance in logic), as well as lattices.

I will give some necessary background and present a proof of failure of coherence for lattices - as a toy example.

(joint work with George Metcalfe from the University of Bern)