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

We prove the unbounded denominators conjecture in the theory of noncongruence modular forms for finite index subgroups of SL_2(Z). Our result includes also Mason's generalization of the original conjecture to the setting of vector-valued…

The predicate complementary to the well-known Godel's provability predicate is defined. From its recursiveness new consequences concerning the incompleteness argumentation are drawn and extended to new results of consistency, completeness…

We prove a continued fraction expansion for the reciprocal of a certain $q$-series. All the specialists in the world are asked whether it is new or not.

In this note, we give an alternative proof of the following result. Let p, q >= 2 be two multiplicatively independent integers. If an infinite set of integers is both p- and q-recognizable, then it is syndetic. Notice that this result is…

We prove some basic results about irreducible components of varieties of modules for an arbitrary finitely generated associative algebra. Our work generalizes results of Kac and Schofield on representations of quivers, but our methods are…

We investigate the implications of a curious biconditional involving divisors of odd perfect numbers, if Dris conjecture that $q^k < n$ holds, where $q^k n^2$ is an odd perfect number with Euler prime $q$. We then show that this…

Let $C$ be an irreducible smooth complex projective curve of genus $g$, with $g_C \geqslant 2$. Let $E$ be a vector bundle on $C$ of rank $r$, with $r\geqslant 2$. Let $\mc Q:=\mc Q(E,\,d)$ be the Quot Scheme parameterizing torsion…

We prove that the theory of all modules over the ring of algebraic integers is decidable.

Let k be a number field, and denote by k^[d] the compositum of all degree d extensions of k in a fixed algebraic closure. We first consider the question of whether all algebraic extensions of k of degree less than d lie in k^[d]. We show…

We prove two completeness results, one for the extension of dependence logic by a monotone generalized quantifier Q with weak interpretation, weak in the meaning that the interpretation of Q varies with the structures. The second result…

We prove that the equational theory of Kleene algebra with commutativity conditions on primitives (or atomic terms) is undecidable, thereby settling a longstanding open question in the theory of Kleene algebra. While this question has also…

Generalised Probabilistic Theories (GPTs) provide a unifying framework encompassing classical theories, quantum theories, as well as hypothetical alternatives. We investigate the problem of extending a system with a finite set of…

We prove that the positive fragment of first-order intuitionistic logic in the language with two variables and a single monadic predicate letter, without constants and equality, is undecidable. This holds true regardless of whether we…

In this paper we consider in detail the composition of an irreducible polynomial with X^2 and suggest a recurrent construction of irreducible polynomials of fixed degree over finite fields of odd characteristics. More precisely, given an…

In [6] we proved that the universal theory of infinite free lattices is (algorithmically) decidable, leaving open the problem of decidability of the full theory of an (infinite) free lattice. We solve this problem by proving that, for every…

The aim of this paper is to give a complete classification of irreducible finite dimensional representations of the nonstandard q-deformation U'_q(so(n)) (which does not coincide with the Drinfeld-Jimbo quantum algebra U_q(so(n)) of the…

Assume that the section conjecture holds over number fields. We prove then that it holds for a broad class of curves defined over finitely generated extensions of $\mathbb{Q}$. This class contains every projective, hyperelliptic curve,…

We study representations of the double affine Lie algebra associated to a simple Lie algebra. We construct a family of indecomposable integrable representations and identify their irreducible quotients. We also give a condition for the…

We provide an in-depth study of tripartite entanglement of qudits. We start with a short review of tripartite entanglement invariants, prove a theorem about the complete list of all allowed values of three (out of the total of four) such…

In our previous work, we proposed the logic obtained from full non-associative Lambek calculus by adding a sort of linear-logical modality. We call this logic non-associative non-commutative intuitionistic linear logic ($\mathbf{NACILL}$,…