Related papers: Undecidability of $\mathbb Q^{(2)}$

It is shown that an anisotropic orthogonal involution in characteristic two is totally decomposable if it is totally decomposable over a separable extension of the ground field. In particular, this settles a characteristic two analogue of a…

Subexponential logic is a variant of linear logic with a family of exponential connectives--called subexponentials--that are indexed and arranged in a pre-order. Each subexponential has or lacks associated structural properties of weakening…

We give a classification of infinite dimensional indecomposable weight modules over the Lie superalgebra $sl(2/1)$.

We show that there is no theory that is minimal with respect to interpretability among recursively enumerable essentially undecidable theories.

We give diagrammatic formulae for morphisms between indecomposable representations of $\bar{U}_{q}(\mathfrak{sl}_{2})$ appearing in the decomposition of $\mathbb{C}^{\otimes 2n}$, including projections and second endomorphisms on projective…

It is well known that whenever a class of structures $\mathcal{K}_1$ is interpretable in a class of structures $\mathcal{K}_2$, then the hereditary undecidability of (a fragment of) the theory of $\mathcal{K}_1$ implies the hereditary…

In this paper, we classify all irreducible weight modules with finite dimensional weight spaces over the $W$-algebra $W(2, 2)$. Meanwhile, all indecomposable modules with one dimensional weight spaces over the $W$-algebra $W(2, 2)$ are also…

We show that there are uncountably many algebraic extensions of $\mathbb{Q}$ containing at most finitely many moduli of CM simple principally polarized abelian varieties of any fixed dimension $g\geqslant1$, generalizing a result of…

Over increasing domain interpretations, \exists\Box and \forall\Box bundled fragments are decidable and over constant domain interpretations, \exists\Box bundled fragment is decidable while \forall\Box bundled fragment is undecidable. Based…

The determinant for complex matrices cannot be extended to quaternionic matrices. Instead, the Study determinant and the closely related $q$-determinant are widely used. We show that the Study determinant can be characterized as the unique…

In this paper, among other things, we prove that any subset of $\overline{\mathbb{Q}}^m$ (closed under complex conjugation and which contains the origin) is the exceptional set of uncountable many transcendental entire functions over…

There studed correspondence between symplectic leaves, irreducible representations and prime ideals, which is invariant with respect to quantum adjoint action. The Conjecture of De Concini-Kac-Procesi on dimensions of irreducible…

We solve a well known, long-standing open problem in relational databases theory, showing that the conjunctive query determinacy problem (in its "unrestricted" version) is undecidable.

Fourdimensional bicovariant differential calculus on quantum E(2) group is constructed.

We obtain a unique continuation result at infinity for fully nonlinear elliptic integro-differential operators of order 2s which satisfy the maximum and minimum principles in bounded subdomains, under the decay assumption $o(|x|^{-(N+2s)})$…

We prove that predicate modal logics QK4.3 and QS4.3 are undecidable in languages with two individual variables, one modandic predicate letter, and one proposition letter.

In the paper the class of all solvable extensions of a filiform Leibniz algebra in the infinite-dimensional case is classified. The filiform Leibniz algebra is taken as a maximal pro-nilpotent ideal of residually solvable Leibniz algebra.…

We study the finite dimensional modules on the half-quantum group u_q^+ at a root of unity q, whose action can be extended to u_q (quotient of the quantized enveloping algebra of sl_2). We derive decomposition formulas of the tensor product…

Let $K$ be a totally real number field, $d$ a positive integer, and $Q$ a higher degree form over $K$. We prove that there are at most finitely many totally real extensions $L/K$ of degree $d$ such that $Q$ over $L$ is universal. Further,…

In this note, we prove an $L^2$ Hartogs-type extension theorem for unbounded domains.