Related papers: Stable finiteness does not imply linear soficity

It is proved that the continuum hypothesis implies the existence of a group M containing a nonalgebraic unconditionally closed set, i.e., a set which is closed in any Hausdorff group topology on M but is not an intersection of finite unions…

We study finite non-linearizable subgroups of the plane Cremona group which potentially could be stably linearizable.

We develop a practical algorithm to decide whether a finitely generated subgroup of a solvable algebraic group $G$ is arithmetic. This incorporates a procedure to compute a generating set of an arithmetic subgroup of $G$. We also provide a…

We consider the preservation of properties of being finitely generated, being finitely presented and being residually finite under direct products in the context of different types of algebraic structures. The structures considered include…

Let K be an algebraically closed field of characteristic 0. It is well known that any quasi-reductive Lie algebra is stable. However, there are stable Lie algebras which are not quasi-reductive. This raises the question, if for some…

A locally compact stable plane of positive topological dimension will be called semiaffine if for every line $L$ and every point $p$ not in $L$ there is at most one line passing through $p$ and disjoint from $L$. We show that then the plane…

In their paper published in 1997, Richmond and Richmond classified metric spaces in which all triangles are degenerate. That result was later reproved by Dovgoshei and Dordovskii in the finite case and it was generalized to finite…

We introduce a notion of "local stability in permutations" for finitely generated groups. If a group is sofic and locally stable in our sense, then it is also locally embeddable into finite groups (LEF). Our notion is weaker than the…

In this paper we study stable finiteness of ample groupoid algebras with applications to inverse semigroup algebras and Leavitt path algebras, recovering old results and proving some new ones. In addition, we develop a theory of (faithful)…

It is known that the construction of a completely stable solution in Horndeski theory is restricted very strongly by the so-called no-go theorem. Previously, various techniques have been used to avoid the conditions of the theorem. In this…

Let $X$ be a set of cardinality $\kappa$ such that $\kappa^\omega=\kappa$. We prove that the linear algebra $\mathbb{R}^X$ (or $\mathbb{C}^X$) contains a free linear algebra with $2^\kappa$ generators. Using this, we prove several…

We use a recent result of Alin Bostan to prove that the generating functions of two infinite sequences of permutation classes are not algebraic.

We exhibit an example of a finitely presented monoid that is congruence-free and simple but not bisimple.

We prove that there exist profinite Heyting algebras that are not isomorphic to the profinite completion of any Heyting algebra. This resolves an open problem from 2009. More generally, we characterize those varieties of Heyting algebras in…

Given a finitely generated linear group $G$ over $\mathbb{Q}$, we construct a simple group $\Gamma$ that has the same finiteness properties as $G$ and admits $G$ as a quasi-retract. As an application, we construct a simple group of type…

Let $k$ be an algebraically closed field. It is known that any stable equivalence between standard representation-finite self-injective $k$-algebras (without block of Loewy length 2) lifts to a standard derived equivalence, in particular,…

We introduce a large family of homogeneous and isotropic cosmological solutions in quadratic gravity which are singularity-free at early and late times. This kind of smooth solutions only emerges beyond the unstable de Sitter branch…

We consider a simple model for multidimensional cone-wise linear dynamics around cusp-like equilibria. We assume that the local linear evolution is either $\mathbf{v}^\prime=\mathbb{A}\mathbf{v}$ or $\mathbb{B}\mathbf{v}$ (with…

We prove that if $ T $ is a semi-special tree that is not special, then there exists a graph $ G $, formed as an inflation of a sparse $ T $-graph, such that for any special tree $ S $, $ G $ is not a subdivision of an inflation of an…

It is shown that the universal theory of the free pseudocomplemented distributive lattice is decidable and a recursive axiomatization is presented. This contrasts with the case of the full elementary theory of the finitely generated free…