Related papers: Hilbert's Tenth Problem for function fields of var…

One of the main themes in this thesis is the description of the signature of both the infinite place and the finite places in cubic function fields of any characteristic and quartic function fields of characteristic at least 5. For these…

The simplest and most natural examples of completely nonunitary contractions on separable complex Hilbert spaces which have polynomial characteristic functions are the nilpotent operators. The main purpose of this paper is to prove the…

We prove that the problems of representing a finite ordered complemented semigroup or finite lattice-ordered semigroup as an algebra of binary relations over a finite set are undecidable. In the case that complementation is taken with…

We specify the frontier of decidability for fragments of the first-order theory of ordinal multiplication. We give a NEXPTIME lower bound for the complexity of the existential fragment of $\langle \omega^{\omega^\lambda}; \times, \omega,…

Let $T$ be a polynomially bounded o-minimal theory extending the theory of real closed ordered fields. Let $K$ be a model of $T$ equipped with a $T$-convex valuation ring and a $T$-derivation. If this derivation is continuous with respect…

Let $K _{m}$ be an $m$-local field with an $m$-th residue field $K _{0}$, for some integer $m > 0$, and let $K/K _{m}$ be a field extension of transcendence degree trd$(K/K _{m}) \le 1$. This paper shows that if $K _{0}$ is a field of…

We consider the Cauchy problem for the continuity equation with a bounded nearly incompressible vector field $b\colon (0,T) \times \mathbb R^d \to \mathbb R^d$, $T>0$. This class of vector fields arises in the context of hyperbolic…

We address some questions concerning indecomposable polynomials and their behaviour under specialization. For instance we give a bound on a prime $p$ for the reduction modulo $p$ of an indecomposable polynomial $P(x)\in \Zz[x]$ to remain…

Let $K$ be a local field whose residue field has characteristic $p$ and let $L/K$ be a finite separable totally ramified extension of degree $n=ap^{\nu}$. The indices of inseparability $i_0,i_1,...,i_{\nu}$ of $L/K$ were defined by Fried in…

The Riemann hypothesis is one of the most famous unresolved problems in modern mathematics. The discussion here will present an overview of past methods that prove the Riemann hypothesis is a $\Pi_1^0$ sentence. We also end with some…

We generalize the Bartsch-Li's splitting lemma at infinity for $C^2$-functionals in [2] and some later variants of it to a class of continuously directional differentiable functionals on Hilbert spaces. Different from the previous flow…

The restricted version of the Hilbert 16th problem for quadratic vector fields requires an upper estimate of the number of limit cycles through a vector parameter that characterizes the vector fields considered and the limit cycles to be…

For any number field K, it is unknown which finite groups appear as Galois groups of extensions L/K such that L is a maximal subfield of a division algebra with center K (a K-division algebra). For K=Q, the answer is described by the long…

The Lichtenbaum-Quillen conjecture for smooth complex varieties states that algebraic and topological K-theory with finite coefficients become isomorphic in high degrees. We define the "Lichtenbaum-Quillen dimension" of a variety in terms…

This expository article covers the recent developments surrounding Hilbert's tenth problem for finitely generated rings. We start by recounting the history of Hilbert's tenth problem over the integers, which was resolved negatively by…

In this paper we associate an invariant to a biquaternion algebra $B$ over a field $K$ with a subfield $F$ such that $K/F$ is a quadratic separable extension and $\operatorname{char}(F)=2$. We show that this invariant is trivial exactly…

Let k be an algebraically closed field of characteristic zero. An element F from k(x_1,...,x_n) is called a closed rational function if the subfield k(F) is algebraically closed in the field k(x_1,...,x_n). We prove that a rational function…

We show that the extension of Presburger arithmetic by a quadratic generalised polynomial of a specific form is undecidable.

To prove that Hilbert's tenth problem over a ring R has a negative answer, usually the integers or another ring for which Hilbert's tenth problem has a negative solution is modelled inside the ring of interest. In this paper, we formalize…

We develop Kummer theory for algebraic function fields in finitely many transcendental variables. We consider any finitely generated Kummer extension (possibly, over a cyclotomic extension) of an algebraic function field, and describe the…