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

We consider the termination/non-termination property of a class of loops. Such loops are commonly used abstractions of real program pieces. Second-order logic is a convenient language to express non-termination. Of course, such property is…

In this work we prove the undecidability (and $\Sigma^0_1$-completeness) of several theories of semirings with fixed points. The generality of our results stems from recursion theoretic methods, namely the technique of effective…

The paper presents a solution to the long-standing question about the decidability of the two-variable fragment of the superintuitionistic predicate logic $\mathbf{QLC}$ defined by the class of linear Kripke frames, which is also the…

We prove that there exist infinitely many elliptic curves over $\mathbb{Q}(i)$ with $j$-invariant $1728$ and rank exactly $2$ which are not obtained by base change from $\mathbb{Q}$. The rank of each such curve is determined via 2-isogeny…

The multiplicative group of a finite field is well known to be cyclic; in this note, we determine the finite fields whose multiplicative groups are direct sum indecomposable. We obtain our classification using a direct argument and also as…

For each Turing machine T, we construct an algebra A'(T) such that the variety generated by A'(T) has definable principal subcongruences if and only if T halts, thus proving that the property of having definable principal subcongruences is…

The main aim of this paper is to give classes of irreducible infinite dimensional representations and of irreducible $*$-representations of the q-deformed algebra $U'_q(so_{2,2})$ which is a real form of the non-standard deformation…

We prove that Knapsack problem (KP) is undecidable for any group of nilpotency class two if the number of generators (without torsion) of the derived subgroup is at least 322. This result together with the fact that if KP is undecidable for…

We prove a continued fraction expansion for a certain q--tangent function that was conjectured by Prodinger.

We present in an informal way some recent results concerning a possible overlapping between classical unpredictability and quantum indeterminism.

Here we continue with the ideas expressed in "On the strangeness of quantum mechanics" aiming to demonstrate more concretely how this philosophical outlook might be used as a key for resolving the measurement problem. We will address in…

We give a classification of all irreducible completely pointed $U_q(\mathfrak{sl}_{n+1})$ modules over a characteristic zero field in which $q$ is not a root of unity. This generalizes the classification result of Benkart, Britten and…

We complete the description of automorphism groups of all nonsplit extensions of elementary abelian $2$-groups by $PSL_2(q)$, with $q$ odd, for an irreducible induced action. An application of this result to the theory of $\pi$-submaximal…

Tarski initiated a logic-based approach to formal geometry that studies first-order structures with a ternary betweenness relation (\beta) and a quaternary equidistance relation (\equiv). Tarski established, inter alia, that the first-order…

We prove that an additive form of degree $d=2m$, $m$ odd, $m\ge3$, over the unramified quadratic extension $\mathbb{Q}_2(\sqrt{5})$ has a nontrivial zero if the number of variables $s$ satisifies $s \ge 4d+1$. If $3 \nmid d$, then there…

We study relationship among versions of the Knapsack Problem where variables take values in Z and the number of them is fixed. In particular, we construct a finitely presented group where the problem of solvability of exponential equations…

Whenever a mathematical proposition to be proved requires more information than it is contained in an axiomatic system, it can neither be proved nor disproved, i.e. it is undecidable, or logically undetermined, within this axiomatic system.…

This paper provides a novel metametaphysical approach to quantum indeterminacy. More specifically, it argues that bivalent quantum logic can successfully account for this kind of indeterminacy, given the non-truth-functional character of…

In this paper, we will give suitable conditions on differential polynomials $Q(f)$ such that they take every finite non-zero value infinitely often, where $f$ is a meromorphic function in complex plane. These results are related to Problem…

A vanishing theorem is proved for Ext groups over non-commutative graded algebras. Along the way, an "infinite" version is proved of the non-commutative Auslander-Buchsbaum theorem.