Metcalfe, George; Montagna, Franco; Tsinakis, Constantine (2014). Amalgamation and interpolation in ordered algebras. Journal of algebra, 402, pp. 21-82. Elsevier 10.1016/j.jalgebra.2013.11.019
|
Text
report13-12(1).pdf - Accepted Version Available under License Publisher holds Copyright. Download (585kB) | Preview |
The first part of this paper provides a comprehensive and self-contained account of the interrelationships between algebraic properties of varieties and properties of their free algebras and equational consequence relations. In particular, proofs are given of known equivalences between the amalgamation property and the Robinson property, the congruence extension property and the extension property, and the flat amalgamation property and the deductive interpolation property, as well as various dependencies between these properties. These relationships are then exploited in the second part of the paper in order to provide new proofs of amalgamation and deductive interpolation for the varieties of lattice-ordered abelian groups and MV-algebras, and to determine important subvarieties of residuated lattices where these properties hold or fail. In particular, a full description is given of all subvarieties of commutative GMV-algebras possessing the amalgamation property.
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: |
0021-8693 |
Publisher: |
Elsevier |
Language: |
English |
Submitter: |
George Metcalfe |
Date Deposited: |
15 Feb 2014 15:17 |
Last Modified: |
16 Sep 2023 11:20 |
Publisher DOI: |
10.1016/j.jalgebra.2013.11.019 |
BORIS DOI: |
10.7892/boris.41262 |
URI: |
https://boris.unibe.ch/id/eprint/41262 |
Actions (login required)
 |
Edit item |