|
Сибирский математический журнал, 1989, том 30, номер 6, страницы 122–131
(Mi smj4670)
|
|
|
|
Эта публикация цитируется в 4 научных статьях (всего в 4 статьях)
Континуум нормальных расширений модальной логики доказуемости с интерполяционным свойством
Л. Л. Максимова
Аннотация:
Доказано, что множество нормальных расширений логики доказуемости, обладающих интерполяционным свойством, имеет мощность континуума. Как следствие, существует континуум амальгамируемых многообразий диагонализируемых алгебр. Показано, что для локально конечных многообразий диагонализируемых алгебр амальгамируемость эквивалентна сверхамальгамируемости.
Библиогр. 16.
Статья поступила: 08.12.1988
Образец цитирования:
Л. Л. Максимова, “Континуум нормальных расширений модальной логики доказуемости с интерполяционным свойством”, Сиб. матем. журн., 30:6 (1989), 122–131; Siberian Math. J., 30:6 (1989), 935–944
Образцы ссылок на эту страницу:
https://www.mathnet.ru/rus/smj4670 https://www.mathnet.ru/rus/smj/v30/i6/p122
|
Статистика просмотров: |
Страница аннотации: | 57 | PDF полного текста: | 32 |
|