Related papers: Algebraically closed structures in Positive Logic
Classification, up to isomorphism, of algebras from a non-empty subset of the variety of $n$- dimensional algebras is presented. It is shown that these algebras have only trivial automorphism and if the basic field is algebraically closed…
Algebraic effects are computational effects that can be described with a set of basic operations and equations between them. As many interesting effect handlers do not respect these equations, most approaches assume a trivial theory,…
The main purpose of this paper is to define dynamical degrees for rational maps over an algebraic closed field of characteristic zero and prove some basic properties (such as log-concavity) and give some applications. We also define…
The aim of this paper is to transfer the restrictedness theory to Hom-Lie algebras. The concept of restricted Hom-Lie algebras which is introduced in \cite{BM2} will be used in this paper. First, the existence of $p$-structures on a Hom-Lie…
Skew braces are intensively studied owing to their wide ranging connections and applications. We generalize the definition of a skew brace to give a new algebraic object, which we term a skew bracoid. Our construction involves two groups…
Several open problems in algebraic logic are solved.
We show that the classification of simple finite group schemes over an algebraically closed field reduces to the classification of abstract simple finite groups and of simple restricted Lie algebras in positive characteristic. Both these…
In this paper we apply a recently proposed algebraic theory of integration to projective group algebras. These structures have received some attention in connection with the compactification of the $M$ theory on noncommutative tori. This…
In this paper we continue with the algebraic study of Krivine's realizability, refining some of the authors' previous constructions by introducing two categories, with objects the abstract Krivine structures and the implicative algebras…
Within classical propositional logic, assigning probabilities to formulas is shown to be equivalent to assigning probabilities to valuations. A novel notion of probabilistic entailment enjoying desirable properties of logical consequence is…
A deductive system is structurally complete if its admissible inference rules are derivable. For several important systems, like modal logic S5, failure of structural completeness is caused only by the underivability of passive rules, i.e.…
The spectrum of an admissible subalgebra $\mathscr{A}(G)$ of $\mathscr{LUC}(G)$, the algebra of right uniformly continuous functions on a locally compact group $G$, constitutes a semigroup compactification $G^\mathscr{A}$ of $G$. In this…
A hom-associative structure is a set $A$ together with a binary operation $\star$ and a selfmap $\alpha$ such that an $\alpha$-twisted version of associativity is fulfilled. In this paper, we assume that $\alpha$ is surjective. We show that…
We consider skew free extensions of rings, also known as free multivariate skew polynomial rings, and explore some of the algebraic aspects of this construction. We give different characterizations of such rings and present conditions for…
We prove the positivity conjecture for all skew-symmetric cluster algebras.
We investigate structural implications arising from the condition that a given directed graph does not interpret, in the sense of primitive positive interpretation with parameters or orbits, every finite structure. Our results generalize…
This is a brief and informal introduction to cluster algebras. It roughly follows the historical path of their discovery, made jointly with A.Zelevinsky. Total positivity serves as the main motivation.
We construct some new Integrable Systems (IS) both classical and quantum associated with elliptic algebras. Our constructions are partly based on the algebraic integrability mechanism given by the existence of commuting families in skew…
We consider the natural Lie algebra structure on the (associative) group algebra of a finite group $G$, and show that the Lie subalgebras associated to natural involutive antiautomorphisms of this group algebra are reductive ones. We give a…
We adapt the classical notion of learning from text to computable structure theory. Our main result is a model-theoretic characterization of the learnability from text for classes of structures. We show that a family of structures is…