Uniform Interpolation and Compact Congruences

Van Gool, Samuel Jacob; Metcalfe, George; Tsinakis, Constantine (2017). Uniform Interpolation and Compact Congruences. Annals of pure and applied logic, 168(10), pp. 1927-1948. Elsevier 10.1016/j.apal.2017.05.001

[img]
Preview
Text
GMT17final.pdf - Accepted Version
Available under License Creative Commons: Attribution-Noncommercial-No Derivative Works (CC-BY-NC-ND).

Download (408kB) | Preview
[img] Text
1-s2.0-S0168007217300684-main.pdf - Published Version
Restricted to registered users only
Available under License Publisher holds Copyright.

Download (556kB) | Request a copy

Uniform interpolation properties are defined for equational consequence in a variety of algebras and related to properties of compact congruences on first the free and then the finitely presented algebras of the variety. It is also shown, following related results of Ghilardi and Zawadowski, that a combination of these properties provides a sufficient condition for the first-order theory of the variety to admit a model completion.

Item Type:

Journal Article (Original Article)

Division/Institute:

08 Faculty of Science > Department of Mathematics and Statistics > Institute of Mathematics

UniBE Contributor:

Van Gool, Samuel Jacob, Metcalfe, George

Subjects:

500 Science > 510 Mathematics

ISSN:

0168-0072

Publisher:

Elsevier

Language:

English

Submitter:

George Metcalfe

Date Deposited:

18 Aug 2017 09:07

Last Modified:

05 Dec 2022 15:06

Publisher DOI:

10.1016/j.apal.2017.05.001

BORIS DOI:

10.7892/boris.102028

URI:

https://boris.unibe.ch/id/eprint/102028

Actions (login required)

Edit item Edit item
Provide Feedback