Related papers: A model in which every infinite Boolean algebra ha…
This paper presents a solution to a problem from superanalysis about the existence of Hilbert-Banach superalgebras. Two main results are derived: 1) There exist Hilbert norms on some graded algebras (infinite-dimensional superalgebras…
We show that the embeddability relations for countable quandles and for countable fields of any given characteristic other than 2 are maximally complex in a strong sense: they are invariantly universal. This notion from the theory of Borel…
A \emph{hull} of $A \subset [0,1]$ is a set $H$ containing $A$ such that $\lambda^*(H)=\lambda^*(A)$. We investigate all four versions of the following problem. Does there exist a monotone (wrt. inclusion) map that assigns a…
We give a simpler proof of a result of Hodkinson in the context of a blow and blur up construction argueing that the idea at heart is similar to that adopted by Andr\'eka et all \cite{sayed}. The idea is to blow up a finite structure,…
Let $2^{[n]}$ denote the power set of $[n]:=\{1,2,..., n\}$. A collection $\B\subset 2^{[n]}$ forms a $d$-dimensional {\em Boolean algebra} if there exist pairwise disjoint sets $X_0, X_1,..., X_d \subseteq [n]$, all non-empty with perhaps…
Our main result, Theorem 2.5, shows the existence of a vast infinity of subset sum problems solvable in polynomial time. The only proof we have of this result uses the ZFC independent Jump Free Theorem of Harvey Friedman, thus putting…
We develop a ready-to-use comprehensive theory for (super) 2-vector bundles over smooth manifolds. It is based on the bicategory of (super) algebras, bimodules, and intertwiners as a model for 2-vector spaces. We discuss symmetric monoidal…
The algebraic geometry of a universal algebra $\mathbf{A}$ is defined as the collection of solution sets of term equations. Two algebras $\mathbf{A}_1$ and $\mathbf{A}_2$ are called algebraically equivalent if they have the same algebraic…
We introduce the notion of envelope of a topological algebra (in particular, an arbitrary associative algebra) with respect to a class of Banach algebras. In the case of the class of real Banach algebras of polynomial growth, i.e.,…
Engel subalgebras of finite-dimensional Leibniz algebras are shown to have similar properties to those of Lie algebras. Using these, it is shown that a left Leibniz algebra, all of whose maximal subalgebras are right ideals, is nilpotent. A…
We prove the following completeness result about classical realizability: given any Boolean algebra with at least two elements, there exists a Krivine-style classical realizability model whose characteristic Boolean algebra is elementarily…
A general classification of linear differential and finite-difference operators possessing a finite-dimensional invariant subspace with a polynomial basis (the generalized Bochner problem) is given. The main result is that any operator with…
A basic problem in the study of algebraic morphisms is to determine which sets can be realised as the image of an endomorphism of affine space. This paper extends the results previously obtained by the first author on the question of…
Profinite algebras are exactly those that are isomorphic to inverse limits of finite algebras. Such algebras are naturally equipped with Boolean topologies. A variety $\mathcal V$ is standard if every Boolean topological algebra with the…
In this paper, we compare the abelian subalgebras and ideals of maximal dimension for finite-dimensional Zinbiel algebras. We study Zinbiel algebras containing maximal abelian subalgebras of codimension $1$ and supersolvable Zinbiel…
We construct smooth rational real algebraic varieties of every dimension $\ge$ 4 which admit infinitely many pairwise non-isomorphic real forms.
Let $\mathfrak{g}\neq \mathfrak{so}_8$ be a simple Lie algebra of type $A,D,E$ with $\widehat{\mathfrak{g}}$ the corresponding affine Kac-Moody algebra and $\mathfrak{n}_-\subset \widehat{\mathfrak{g}}$ a nilpotent subalgebra. Given…
We study the existence of free subalgebras in division algebras, and prove the following general result: if $A$ is a noetherian domain which is countably generated over an uncountable algebraically closed field $k$ of characteristic 0, then…
We provide an infinite series of commutative finite-dimensional Gorenstein local algebras $A_n$ for $n \ge 2$. We give an elementary proof that the maximal ideal of every algebra $A_n$ possesses a one-dimensional subspace that is different…
Suppose that a Lie algebra $L$ admits a finite Frobenius group of automorphisms $FH$ with cyclic kernel $F$ and complement $H$ such that the characteristic of the ground field does not divide $|H|$. It is proved that if the subalgebra…