Related papers: Undecidability in function fields of positive char…

An elliptic divisibility sequence, generated by a point in the image of a rational isogeny, is shown to possess a uniformly bounded number of prime terms. This result applies over the rational numbers, assuming Lang's conjecture, and over…

We prove Hilbert's irreducibility theorem for abelian varieties over function fields of characteristic zero.

Answering a question of Browkin, we provide a new unconditional proof that the Dedekind zeta function of a number field $L$ has infinitely many nontrivial zeros of multiplicity at least 2 if $L$ has a subfield $K$ for which $L/K$ is a…

The study of word equations (or the existential theory of equations over free monoids) is a central topic in mathematics and theoretical computer science. The problem of deciding whether a given word equation has a solution was shown to be…

Adopting the approach of [7] we study rational function carrying invariant line fields on the Julia set. In particular, we show that under certain weak conditions all possible measurable invariant line fields of a rational function on its…

Undecidability of various properties of first order term rewriting systems is well-known. An undecidable property can be classified by the complexity of the formula defining it. This gives rise to a hierarchy of distinct levels of…

We show that for two afii varieties over an arbitrary field of characteristic zero, there is no general form of an algorithm for checking the presence of an embedding of one algebraic variety in another. Moreover, we establish this for…

We construct an existentially undecidable complete discretely valued field of mixed characteristic with existentially decidable residue field and decidable algebraic part, answering a question by Anscombe-Fehm in a strong way. Along the…

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

The Ruled Residue Theorem asserts that given a ruled extension $(K|k,v)$ of valued fields, the residue field extension is also ruled. In this paper we analyse the failure of this theorem when we set $K$ to be algebraic function fields of…

Let K be a function field, let f be a rational function of degree d at least 2 defined over K, and suppose that f is not isotrivial. In this paper, we show that a point P in P^1(Kbar) has f-canonical height zero if and only if P is…

We study systems of polynomial equations in infinite finitely generated commutative associative rings with an identity element. For each such ring $R$ we obtain an interpretation by systems of equations of a ring of integers $O$ of a finite…

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…

While the natural model-theoretic ranks available in differentially closed fields (of characteristic zero), namely Lascar and Morley rank, are known not to be definable in families of differential varieties; in this note we show that the…

Let f(t,X) be an irreducible polynomial over the field of rational functions k(t), where k is a number field. Let O be the ring of integers of k. Hilbert's irreducibility theorem gives infinitely many integral specializations of t to values…

The notion of non-deterministic logical matrix (where connectives are interpreted as multi-functions) preserves many good properties of traditional semantics based on logical matrices (where connectives are interpreted as functions) whilst…

We extend to characteristic two recent results about isotropy of quadratic forms over function fields. In particular, we provide a characterization of function fields not only of quadratic forms but also more generally of polynomials in…

Model-checking is one of the most powerful techniques for verifying systems and programs, which since the pioneering results by Knapik et al., Ong, and Kobayashi, is known to be applicable to functional programs with higher-order types…

Let $E$ be an elliptic curve over a number field $K$ defined by a monic irreducible cubic polynomial $F(x)$. When $E$ is \textit{nice} at all finite primes of $K$, we bound its $2$-Selmer rank in terms of the $2$-rank of a modified ideal…

Let $K$ be the fraction field of a 2-dimensional, henselian, excellent local domain with finite residue field $k$. When the characteristic of $k$ is not 2, we prove that every quadratic form of rank $\ge 9$ is isotropic over $K$ using…