Restricted Interpolation and the Projective Beth Property in Equational Logic
Algebra i logika, Tome 42 (2003) no. 6, pp. 712-726
Voir la notice de l'article provenant de la source Math-Net.Ru
Interconnections between syntactic and categorical properties of equational theories are established. The notions of restricted interpolation and of restricted amalgamation are introduced and their equivalence proved; interrelations of the above-mentioned properties and the projective Beth property, interpolation, and amalgamation are studied.
Keywords:
equational logic, restricted interpolation, restricted amalgamation, projective Beth property.
@article{AL_2003_42_6_a4,
author = {L. L. Maksimova},
title = {Restricted {Interpolation} and the {Projective} {Beth} {Property} in {Equational} {Logic}},
journal = {Algebra i logika},
pages = {712--726},
publisher = {mathdoc},
volume = {42},
number = {6},
year = {2003},
language = {ru},
url = {http://geodesic.mathdoc.fr/item/AL_2003_42_6_a4/}
}
L. L. Maksimova. Restricted Interpolation and the Projective Beth Property in Equational Logic. Algebra i logika, Tome 42 (2003) no. 6, pp. 712-726. http://geodesic.mathdoc.fr/item/AL_2003_42_6_a4/