Related papers: Mutually algebraic structures and expansions by pr…

We show that any normal algebraic monoid is an extension of an abelian variety by a normal affine algebraic monoid. This extends (and builds on) Chevalley's structure theorem for algebraic groups.

We say that a theory $T$ is intermediate under effective reducibility if the isomorphism problems among its computable models is neither hyperarithmetic nor on top under effective reducibility. We prove that if an infinitary sentence $T$ is…

We study bounded width algebras which are minimal in the sense that every proper reduct does not have bounded width. We show that minimal bounded width algebras can be arranged into a pseudovariety with one basic ternary operation. We…

Let K be an algebraically bounded structure and T be its theory. If T is model complete, then the theory of K endowed with a derivation, denoted by $T^{\delta}$, has a model completion. Additionally, we prove that if the theory T is…

We present a class of Poisson structures on trivial extension algebras which generalize some known structures induced by Poisson modules. We show that there exists a one-to-one correspondence between such a class of Poisson structures and…

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,…

For a Lie algebra $L$ and a subalgebra $M$ of $L$ we say that a subalgebra $U$ of $L$ is a {\em supplement} to $M$ in $L$ if $L = M + U$. We investigate those Lie algebras all of whose maximal subalgebras have abelian supplements, those…

The aim of this paper is to introduce an algebraic structure on the set of all coalgebras with the same state space over the given type which allows us to present definitions of weak and delay bisimulation for coalgebras. Additionally, we…

It is shown that universal algebras that are injective in their equational classes are characterized by internal property that can be called completeness. We define universal algebra $A$ as complete (closed to simple extensions) if for each…

We introduce a notion of Pre-structurable Algebras based upon triality relations and study its relation to structurable algebra of Allison, as well as to Lie algebras satisfying triality.

A priori, the set of birational transformations of an algebraic variety is just a group. We survey the possible algebraic structures that we may add to it, using in particular parametrised family of birational transformations.

Two extension problems are solved. First, the class of locally matricial algebras over an arbitrary field is closed under extensions. Second, the class of locally finite dimensional semisimple algebras over a fixed field is closed under…

In previous papers on this project a general static logical framework for formalizing and mechanizing set theories of different strength was suggested, and the power of some predicatively acceptable theories in that framework was explored.…

Given a canonical algebraically integrable foliation on a klt projective variety, we study the variation of the ample models of the associated adjoint foliated structures with respect to the parameter. When the foliation is of general type,…

Consider the expansion $T_S$ of a theory $T$ by a predicate for a submodel of a reduct $T_0$ of $T$. We present a setup in which this expansion admits a model companion $TS$. We show that the nice features of the theory $T$ transfer to…

From a Lie algebra $\mathfrak{g}$ satisfying $\mathcal{Z}(\mathfrak{g})=0$ and $\Lambda^2(\mathfrak{g})^\mathfrak{g}=0$ (in particular, for $\g$ semisimple) we describe explicitly all Lie bialgebra structures on extensions of the form…

We assign a relational structure to any finite algebra in a canonical way, using solution sets of equations, and we prove that this relational structure is polymorphism-homogeneous if and only if the algebra itself is…

An algebraic theory $T$ is a category with objects $t_0,t_2...$ such that for each $n$ the object $t_n$ is an $n$-fold categorical product of $t_1$. A strict $T$-algebra is a product preserving functor $A: T\to Spaces$. Lawvere showed that…

We extend the framework of abstract algebraic logic to weak logics, namely logical systems which are not necessarily closed under uniform substitution. We interpret weak logics by algebras expanded with an additional predicate and we…

Motivated by recent work on weak distributive laws and their applications to coalgebraic semantics, we investigate the algebraic nature of semialgebras for a monad. These are algebras for the underlying functor of the monad subject to the…