А. Н. Шевляков, “Универсальная алгебраическая геометрия с отношением $\not=$”, Алгебра и логика, 2016, том 55, номер 4,страницы 498

Универсальная алгебраическая геометрия с отношением $\not=$

А. Н. Шевляков^ab

^a Омский ф-л Ин-та матем. им. С. Л. Соболева СО РАН, ул. Певцова, 13, г. Омск, 644099, РОССИЯ
^b Омский гос. техн. ун-т, пр. Мира, 11, г. Омск, 644050, РОССИЯ

Аннотация: Доказываются некоторые результаты об алгебраической геометрии над алгебраическими системами произвольного функционального языка, расширенного предикатом отрицания равенства $\not=$.

Ключевые слова: неравенство, универсальная алгебраическая геометрия, уравнение.

УДК: 512.57+510.67

Поступило: 03.12.2015

DOI: 10.17377/alglog.2016.55.409