BZPEERReading, trust and collaboration for researchDiscover
Workspaces
Network
Opportunities
Account
Researcher profile
Boris Plotkin contributes to research discovery and scholarly infrastructure.
Trust snapshot
Actions
Identity and collaboration
Claiming links this public author record to a researcher profile and unlocks direct collaboration workflows.
Log in to claimDirect collaboration
Claim this author entity first to unlock direct invitations.
Research graph
Inspect adjacent work, topics, institutions and collaborators without jumping out to a separate graph page.
BZPEER is loading the nearby papers, people, topics and institutions for this page.
Published work
The paper is devoted to two types of algebraic models of automata. The usual (first type) model leads to the developed decomposition theory (Krohn-Rhodes theory). We introduce another type of automata model and study how these automata are related to cascade connections of automata of the first type. The introduced automata play a significant role in group theory and, hopefully, in the theory of formal languages.
The Krohn-Rhodes complexity theory for pure (without linearity) automata is well-known. This theory uses an operation of wreath product as a decomposition tool. The main goal of the paper is to introduce the notion of complexity of linear automata. This notion is ultimately related with decompositions of linear automata. The study of these decompositions is the second objective of the paper. In order to define complexity for linear automata, we have to use three operations, namely, triangular product of linear automata, wreath product of pure automata and wreath product of a linear automaton with a pure one which returns a linear automaton. We define the complexity of a linear automaton as the minimal number of operations in the decompositions of the automaton into indecomposable components (atoms). This theory relies on the following parallelism between wreath and triangular products: both of them are terminal objects in the categories of cascade connections of automata. The wreath product is the terminal object in the Krohn-Rhodes theory for pure automata, while the triangular product provides the terminal object for the cascade connections of linear automata.
Let $Θ$ be a variety of algebras, $(H, Ψ, f)$ be a model, where $H$ is an algebra from $Θ$, $Ψ$ is a set of relation symbols $φ$, $f$ is an interpretation of all $φ$ in $H$. Let $X^0$ be an infinite set of variables, $Γ$ be a collection of all finite subsets in $X^0$ (collection of sorts), $\widetildeΦ$ be the multi-sorted algebra of formulas. These data define a knowledge base $KB(H,Ψ, f)$. In the paper the notion of isomorphism of knowledge bases is considered. We give sufficient conditions which provide isomorphism of knowledge bases. We also study the problem of necessary and sufficient conditions for isomorphism of two knowledge bases.
The paper has a form of a survey and consists of three parts. It is focused on the relationship between the many-sorted theory, which leads to logical geometry and one-sorted theory, which is based on the important model-theoretic concepts. Our aim is to show that both approaches go in parallel and there are bridges which allow to transfer results, notions and problems back and forth. Thus, an additional freedom in choosing an approach appear.
The paper has a form of a talk on the given topic. It consists of three parts. The first part of the paper contains main notions, the second one is devoted to logical geometry, the third part describes types and isotypeness. The problems are distributed in the corresponding parts. The whole material oriented towards universal algebraic geometry (UAG), i.e., geometry in an arbitrary variety of algebras $Θ$. We consider logical geometry (LG) as a part of UAG. This theory is strongly influenced by model theory and ideas of A.Tarski and A.I.Malcev.
The paper consists of two parts. The first part is devoted to logic for universal algebraic geometry. The second one deals with problems and some results. It may be regarded as a brief exposition of some ideas from the book in progress: B.Plotkin, E.Aladova, E.Plotkin, "Algebraic logic and logical geometry in arbitrary varieties of algebras"
The main objective of this paper is to show that the notion of type which was developed within the frames of logic and model theory has deep ties with geometric properties of algebras. These ties go back and forth from universal algebraic geometry to the model theory through the machinery of algebraic logic. We show that types appear naturally as logical kernels in the Galois correspondence between filters in the Halmos algebra of first order formulas with equalities and elementary sets in the corresponding affine space.