|
This article is cited in 7 scientific papers (total in 7 papers)
Restricted Interpolation and the Projective Beth Property in Equational Logic
L. L. Maksimova Sobolev Institute of Mathematics, Siberian Branch of the Russian Academy of Sciences
Abstract:
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.
Received: 30.01.2002
Citation:
L. L. Maksimova, “Restricted Interpolation and the Projective Beth Property in Equational Logic”, Algebra Logika, 42:6 (2003), 712–726; Algebra and Logic, 42:6 (2003), 398–406
Linking options:
https://www.mathnet.ru/eng/al51 https://www.mathnet.ru/eng/al/v42/i6/p712
|
|