|
Universal algebraic geometry with relation $\not=$
A. N. Shevlyakovab a Omsk Branch of Sobolev Institute of Mathematics, Siberian Branch, Russian Academy of Sciences, ul. Pevtsova 13, Omsk, 644099 Russia
b Omsk State Technical University, pr. Mira 11, Omsk, 644050 Russia
Abstract:
We prove some results in universal algebraic geometry over algebraic structures of arbitrary functional languages with relation $\not=$ adjoined.
Keywords:
inequality, universal algebraic geometry, equation.
Received: 03.12.2015
Citation:
A. N. Shevlyakov, “Universal algebraic geometry with relation $\not=$”, Algebra Logika, 55:4 (2016), 498–511; Algebra and Logic, 55:4 (2016), 330–339
Linking options:
https://www.mathnet.ru/eng/al756 https://www.mathnet.ru/eng/al/v55/i4/p498
|
Statistics & downloads: |
Abstract page: | 178 | Full-text PDF : | 38 | References: | 34 | First page: | 8 |
|