|
Алгебра и логика, 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
|
Статистика просмотров: |
Страница аннотации: | 465 | PDF полного текста: | 109 | Список литературы: | 65 | Первая страница: | 4 |
|