|
Алгебра и логика, 2014, том 53, номер 2, страницы 256–270
(Mi al633)
|
|
|
|
Эта публикация цитируется в 1 научной статье (всего в 1 статье)
Определимые функции универсальных алгебр и определимая эквивалентность алгебр
А. Г. Пинус ул. Революции, д. 10, кв. 15, г. Новосибирск, 630099, РОССИЯ
Аннотация:
В исследовании (в том числе при различных классификациях) универсальных алгебр, как правило, ограничиваются работой с термальными (или полиномиальными) функциями этих алгебр. Попытки выйти за круг этих функций, оставаясь при этом в рамках функций, естественным образом определимых на рассматриваемых алгебрах, привели автора к изучению условно термальных (и различных их обобщений: позитивно, элементарно условно термальных, неявных, абстрактных и т. д.) функций. В качестве продолжения исследования естественным образом определимых на универсальных алгебрах функций предлагается рассмотреть $L$-определимые функции, где $L$ – некоторый логический язык. Этот наиболее общий подход, как оказывается, связан со схемой определения условно термальных функций и их обобщений, а также с различными производными структурами универсальных алгебр.
Здесь даётся изложение определения $L$-определимых на универсальных алгебрах функций, их основных свойств и вводимого на этой основе понятия $L$-определимо эквивалентных алгебр (обобщению понятия рациональной эквивалентности).
Ключевые слова:
универсальная алгебра, $L$-определимая на универсальной алгебре функция, $L$-определимо эквивалентные алгебры.
Поступило: 14.03.2013
Образец цитирования:
А. Г. Пинус, “Определимые функции универсальных алгебр и определимая эквивалентность алгебр”, Алгебра и логика, 53:2 (2014), 256–270; Algebra and Logic, 53:2 (2014), 166–175
Образцы ссылок на эту страницу:
https://www.mathnet.ru/rus/al633 https://www.mathnet.ru/rus/al/v53/i2/p256
|
Статистика просмотров: |
Страница аннотации: | 214 | PDF полного текста: | 47 | Список литературы: | 37 | Первая страница: | 15 |
|