Zobrazeno 1 - 10
of 261
pro vyhledávání: '"Plotkin B"'
Autor:
Plotkin B., Plotkin E.
Publikováno v:
Demonstratio Mathematica, Vol 48, Iss 4, Pp 578-619 (2015)
The paper has a form of a survey on basics of logical geometry and consists of three parts. It is focused on the relationship between many-sorted theory, which leads to logical geometry and one-sorted theory, which is based on important model-theoret
Externí odkaz:
https://doaj.org/article/49a430f7b26a43fbb63fb407c6b68698
Autor:
Aladova, E., Plotkin, B.
It is well known that many famous Burnside-type problems have positive solutions for PI-groups and PI-algebras. In the present article we also consider various Burnside-type problems for PI-groups and PI-representations of groups.
Externí odkaz:
http://arxiv.org/abs/0905.3651
Autor:
Lipyanski, R., Plotkin, B.
We prove that the group of automorphisms of the category of free modules over Noterian rings is semi-inner and present also a short proof of a similar result for the variery of Lie algebras.
Externí odkaz:
http://arxiv.org/abs/math/0502212
Autor:
Plotkin, B., Tsurkov, A.
For every variety of algebras and every algebras in these variety we can consider an algebraic geometry. Algebras may be many sorted (not necessarily one sorted) algebras. A set of sorts is fixed for each variety. This theory can be applied to the va
Externí odkaz:
http://arxiv.org/abs/math/0501337
Autor:
Plotkin, B.
In every variety of algebras $\Theta$ we can consider its logic and its algebraic geometry. In the previous papers geometry in equational logic, i.e., equational geometry has been studied. Here we describe an extension of this theory towards the Firs
Externí odkaz:
http://arxiv.org/abs/math/0312485
Autor:
Plotkin, B., Plotkin, T.
In this paper we study the notion of knowledge from the positions of universal algebra and algebraic logic. We consider first order knowledge which is based on first order logic. We define categories of knowledge and knowledge bases. These notions ar
Externí odkaz:
http://arxiv.org/abs/math/0312428
Autor:
Plotkin, B.
In the paper the main attention is paid to conditions on algebras from a given variety which provide coincidence of their algebraic geometries. The main part here play the notions mentioned in the title of the paper.
Comment: 26pp
Comment: 26pp
Externí odkaz:
http://arxiv.org/abs/math/0312427
Autor:
Plotkin, B.
The aim of the paper is to discuss the relations between the three kinds of objects named in the title. In a sense, this is a survey of such relations; however, some new directions are also considered. This relates, especially, to sections 3, 4 and 5
Externí odkaz:
http://arxiv.org/abs/math/0312420