|
Алгебра и логика, 2008, том 47, номер 1, страницы 94–107
(Mi al348)
|
|
|
|
Эта публикация цитируется в 15 научных статьях (всего в 15 статьях)
Слабая форма интерполяции в эквациональной логике
Л. Л. Максимова Институт математики им. С. Л. Соболева СО РАН
Аннотация:
Вводятся понятия слабого интерполяционного свойства и слабой амальгамируемости. Доказывается, что в многообразиях со свойством продолжаемости конгруэнции слабое интерполяционное свойство эквивалентно слабой амальгамируемости. В свою очередь, слабая амальгамируемость многообразия эквивалентна амальгамируемости класса конечно порождённых простых алгебр этого многообразия.
Ключевые слова:
слабое интерполяционное свойство, слабая амальгамируемость, многообразие со свойством продолжаемости конгруэнции.
Поступило: 06.03.2007
Образец цитирования:
Л. Л. Максимова, “Слабая форма интерполяции в эквациональной логике”, Алгебра и логика, 47:1 (2008), 94–107; Algebra and Logic, 47:1 (2008), 56–64
Образцы ссылок на эту страницу:
https://www.mathnet.ru/rus/al348 https://www.mathnet.ru/rus/al/v47/i1/p94
|
|