Related papers: A definable $\mathsf E_0$-class containing no defi…

Our main result is that possibly some non-null set of reals cannot be divided to uncountably many non-null sets. We deal also with a non-null set of reals, the graph of any function from it is null and deal with our iterations somewhat more…

We generalize the lexicographic product of first-order structures by presenting a framework for constructions which, in a sense, mimic iterating the lexicographic product infinitely and not necessarily countably many times. We then define…

Let $X$ be a nonempty real variety that is invariant under the action of a reflection group $G$. We conjecture that if $X$ is defined in terms of the first $k$ basic invariants of $G$ (ordered by degree), then $X$ meets a $k$-dimensional…

We show that ${\mathbb Z}$ is definable in ${\mathbb Q}$ by a universal first-order formula in the language of rings. We also present an $\forall\exists$-formula for ${\mathbb Z}$ in ${\mathbb Q}$ with just one universal quantifier. We…

We construct and study the class of continuous on $[0, 1]$ functions with continuum set of peculiarities (singular, nowhere monotonic, and non-differentiable functions are among them). The representative of this class is the function…

An abelian lattice-ordered group, or abelian $\ell$-group, is an abelian group equipped with a compatible lattice ordering. In this paper, we introduce two multi-sorted extensions of abelian lattice-ordered groups inspired by the zero-set…

We show that an infinite group is definable in any non trivial geometric $C$-minimal structure which is definably maximal and does not have any definable bijection between a bounded interval and an unbounded one in its canonical tree. No…

Let K be an expansion of either an ordered field or a valued field. Given a definable set X $\subseteq$ K^m let C(X) be the ring of continuous definable functions from X to K. Under very mild assumptions on the geometry of X and…

We indicate a way of distinguishing between structures, for which, two structures are said to be separable.Being separable implies being non-isomorphic. We show that for any first order theory $T$ in a countable language, if it has an…

For any nullity $2$ extended affine Lie algebra $\mathcal{E}$ of maximal type and $\ell\in\mathbb{C}$, we prove that there exist a vertex algebra $V_{\mathcal{E}}(\ell)$ and an automorphism group $G$ of $V_{\mathcal{E}}(\ell)$ equipped with…

Let $k$ be a field, and let $L$ be an \'etale k-algebra of finite rank. If $a$ is a nonzero element in $k$, let $X_a$ be the affine variety defined by the norm equation $N_{L/k}(x) = a$. Assuming that $L$ has at least one factor that is a…

The problem is posed to find out for arbitrary nonvoid sets $X$ which are all the mappings $T : X \longrightarrow X$ that can be defined and each separately identified through means of categories alone. As argued, this problem may have a…

We classify all essential extensions of the form $$0 \rightarrow \W \rightarrow \D \rightarrow A \rightarrow 0$$ where $\W$ is the unique separable simple C*-algebra with a unique tracial state, with finite nuclear dimension and with…

Skew algebroid is a natural generalization of the concept of Lie algebroid. In this paper, for a skew algebroid E, its modular class mod(E) is defined in the classical as well as in the supergeometric formulation. It is proved that there is…

In the probability theory \emph{selfdecomposable, or class $L_0$ distributions} play an important role as they are limiting distributions of normalized partial sums of sequences of independent, not necessarily identically distributed,…

We prove a decomposition of definable groups in o-minimal structures generalizing the Jordan-Chevalley decomposition of linear algebraic groups. It follows that any definable linear group G is a semidirect product of its maximal normal…

For an interval finite quiver $Q$, we introduce a class of flat representations. We classify the indecomposable projective objects in the category $\mathrm{rep}(Q)$ of pointwise finite dimensional representations. We show that an object in…

We consider deformations of finite or infinite dimensional Lie algebras over a field of characteristic 0. There is substantial confusion in the literature if one tries to describe all the non-equivalent deformations of a given Lie algebra.…

If a student asks for an antiderivative of exp(x^2), there is a standard reply: the answer is not an elementary function. But if a student asks for a closed-form expression for the real root of x = cos(x), there is no standard reply. We…

Definable continuous injective maps defined on definable open sets into the Euclidean spaces of the same dimension are open maps in definably complete locally o-minimal expansions of ordered groups.