Related papers: A Note on Hilbert's "Geometric" Tenth Problem

Consider a Henselian rank one valued field $K$ of equicharacteristic zero along with the language $\mathcal{L}^{P}$ of Denef--Pas. Let $f: A \to K$ be an $\mathcal{L}^{P}$-definable (with parameters) function on a subset $A$ of $K^{n}$. We…

Let $F$ be a field complete with respect to a discrete valuation whose residue field is perfect of characteristic $p>0$. We prove that every smooth, projective, geometrically irreducible curve of genus one defined over $F$ with a non-zero…

In 1987, Pheidas showed that the field of Laurent series $\mathbb{F}_q((t))$ with a constant for the indeterminate $t$ and a predicate for the natural powers $\{t^n \mid n > 0\}$ of $t$ is existentially undecidable. We show that the same…

Let $K$ be a field of characteristic $p>0$ and let $f(t_1,...,t_d)$ be a power series in $d$ variables with coefficients in $K$ that is algebraic over the field of multivariate rational functions $K(t_1,...,t_d)$. We prove a generalization…

It is well known that in Zermelo-Fraenkel (ZF) set theory any finite set is decidable. In this paper we discuss an extension of ZF where this result is no longer valid. Such an extension is quasi-set theory and it has its origin on problems…

Let G be an unramified reductive group over a non archimedian local field F. The so-called "Langlands Fundamental Lemma" is a family of conjectural identities between orbital integrals for G(F) and orbital integrals for endoscopic groups of…

Using a m\'elange of techniques at the rich intersection of deformation/rigidity theory, finite index subfactor theory, and geometric group theory, we prove the existence of a continuum of property (T) factors that are pairwise non-stably…

Let $G$ and $\tilde G$ be reductive groups over a local field $F$. Let $\eta : \tilde G \to G$ be a $F$-homomorphism with commutative kernel and commutative cokernel. We investigate the pullbacks of irreducible admissible…

The problem of deciding, given a complex variety X, a point x in X, and a subvariety Z of X, whether there is an automorphism of X mapping x into Z is proved undecidable. Along the way, we prove the undecidability of a version of Hilbert's…

This paper considers the existence and multiplicity of fixed points for the integral operator \begin{equation*} {\mathcal{T}}u(t)=\lambda \,\int_{0}^{T}k(t,s)\,f(s,u(s),u^{\prime }(s),\dots ,u^{(m)}(s))\,\dif s,\quad t\in \lbrack 0,T]\equiv…

This paper explores multiple closely related themes: bounding the complexity of Diophantine equations over the integers and developing mathematical proofs in parallel with formal theorem provers. Hilbert's Tenth Problem (H10) asks about the…

Let K be a field and F denote the prime field in K. Let \tilde{K} denote the set of all r \in K for which there exists a finite set A(r) with {r} \subseteq A(r) \subseteq K such that each mapping f:A(r) \to K that satisfies: if 1 \in A(r)…

Let K be a field and F denote the prime field in K. Let \tilde{K} denote the set of all r \in K for which there exists a finite set A(r) with {r} \subseteq A(r) \subseteq K such that each mapping f:A(r) \to K that satisfies: if 1 \in A(r)…

We show that the ring of integers of $\mathbb{Q}^{\text{tr}}$ is existentially definable in the ring of integers of $\mathbb{Q}^{\text{tr}}(i)$, where $\mathbb{Q}^{\text{tr}}$ denotes the field of all totally real numbers. This implies that…

We prove first-order definability of the prime subring inside polynomial rings, whose coefficient rings are (commutative unital) reduced and indecomposable. This is achieved by means of a uniform formula in the language of rings with…

We study existential theories of henselian valued fields of positive characteristic with parameters from a trivially valued subfield. Compared to previous work, we relax perfectness and separability assumptions, and instead work with the…

Rings of integer-valued polynomials are known to be atomic, non-factorial rings furnishing examples for both irreducible elements for which all powers factor uniquely (\emph{absolutely irreducibles}) and irreducible elements where some…

In this paper, we show that the $\exists^1 \forall^1$ theories of Hilbertian fields with charateristic 0 and perfect Hilbertian fields are both decidable. We also prove that the $\forall^1 \exists^1$ theories of Hilbertian fields with…

Given a field $k$ of characteristic zero and an indeterminate $T$, the main topic of the paper is the construction of specializations of any given finite extension of $k(T)$ of degree $n$ that are degree $n$ field extensions of $k$ with…

We know that for a finite field $F$, every function on $F$ can be given by a polynomial with coefficients in $F$. What about the converse? i.e. if $R$ is a ring (not necessarily commutative or with unity) such that every function on $R$ can…