|
Алгебра и логика, 2003, том 42, номер 6, страницы 712–726
(Mi al51)
|
|
|
|
Эта публикация цитируется в 7 научных статьях (всего в 7 статьях)
Ограниченная интерполяция и проективное свойство Бета в эквациональной логике
Л. Л. Максимова Институт математики им. С. Л. Соболева СО РАН
Аннотация:
Устанавливаются связи между синтаксическими и категорными свойствами эквациональных теорий. Вводятся понятия ограниченной интерполяции и ограниченной амальгамируемости, доказывается их равносильность, изучаются соотношения указанных свойств с проективным свойством Бета, интерполяцией и амальгамируемостью.
Ключевые слова:
эквациональная логика, ограниченная интерполяция, ограниченная амальгамируемость, проективное свойство Бета.
Поступило: 30.01.2002
Образец цитирования:
Л. Л. Максимова, “Ограниченная интерполяция и проективное свойство Бета в эквациональной логике”, Алгебра и логика, 42:6 (2003), 712–726; Algebra and Logic, 42:6 (2003), 398–406
Образцы ссылок на эту страницу:
https://www.mathnet.ru/rus/al51 https://www.mathnet.ru/rus/al/v42/i6/p712
|
Статистика просмотров: |
Страница аннотации: | 273 | PDF полного текста: | 82 | Список литературы: | 32 | Первая страница: | 1 |
|