Amalgamation and interpolation in ordered algebras


Autoria(s): Metcalfe, George; Montagna, Franco; Tsinakis, Constantine
Data(s)

2014

Resumo

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.

Formato

application/pdf

Identificador

http://boris.unibe.ch/41262/1/report13-12%281%29.pdf

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 <http://dx.doi.org/10.1016/j.jalgebra.2013.11.019>

doi:10.7892/boris.41262

info:doi:10.1016/j.jalgebra.2013.11.019

urn:issn:0021-8693

Idioma(s)

eng

Publicador

Elsevier

Relação

http://boris.unibe.ch/41262/

Direitos

info:eu-repo/semantics/openAccess

Fonte

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 <http://dx.doi.org/10.1016/j.jalgebra.2013.11.019>

Palavras-Chave #510 Mathematics
Tipo

info:eu-repo/semantics/article

info:eu-repo/semantics/publishedVersion

PeerReviewed