|
Фундаментальная и прикладная математика, 2020, том 23, выпуск 2, страницы 75–88
(Mi fpm1884)
|
|
|
|
Универсальная алгебраическая геометрия: между синтаксисом и семантикой
А. Гварамияa, Б. Плоткинb, Е. Плоткинc a Абхазский государственный университет, Абхазия
b Еврейский университет в Иерусалиме, Израиль
c Университет имени Бар-Илана, Израиль
Аннотация:
В этой статье мы даём общее представление об идеях, которые лежат в основе развития универсальной алгебраической геометрии и логической геометрии. Мы выделяем роль алгебраической логики как одного из основных инструментов всей теории. Проблема сходства геометрий алгебраических и определимых множеств для разных алгебр рассматривается как наглядный пример того, как алгебра, геометрия, теория моделей и алгебраическая логика работают вместе.
Ключевые слова:
универсальная алгебраическая геометрия, алгебраическое множество, определимое множество, категория, синтаксис, семантика, квазигруппа, многообразие.
Образец цитирования:
А. Гварамия, Б. Плоткин, Е. Плоткин, “Универсальная алгебраическая геометрия: между синтаксисом и семантикой”, Фундамент. и прикл. матем., 23:2 (2020), 75–88; J. Math. Sci., 262:5 (2022), 642–651
Образцы ссылок на эту страницу:
https://www.mathnet.ru/rus/fpm1884 https://www.mathnet.ru/rus/fpm/v23/i2/p75
|
|