Amalgamation and interpolation in ordered algebras

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

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: 17 Feb 2014 00:25
Publisher DOI: 10.1016/j.jalgebra.2013.11.019
BORIS DOI: 10.7892/boris.41262

Actions (login required)

Edit item Edit item
Provide Feedback