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
|
Text
GMT17final.pdf - Accepted Version Available under License Creative Commons: Attribution-Noncommercial-No Derivative Works (CC-BY-NC-ND). Download (408kB) | Preview |
|
![[img]](https://boris.unibe.ch/style/images/fileicons/text.png) |
Text
1-s2.0-S0168007217300684-main.pdf - Published Version Restricted to registered users only Available under License Publisher holds Copyright. Download (556kB) |
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 |