Related papers: p-adic exponential ring, p-adic Schanuel's conject…

This article introduces a new kind of number systems on $p$-adic integers which is inspired by the well-known $3n+1$ conjecture of Lothar Collatz. A $p$-adic system is a piecewise function on $\mathbb{Z}_p$ which has branches for all…

We classify, up to isomorphism, the $\mathbb{Z}_pG$-modules of rank $1$ (i.e., the quotients of $\mathbb{Z}_pG$) for $G$ cyclic of order $p$, where $\mathbb{Z}_p$ is the ring of $p$-adic integers. This allows us in particular to determine…

In this paper we prove Shapiro's 1958 Conjecture on exponential polynomials, assuming Schanuel's Conjecture.

In this we give a detailed proof of fermionic p-adic q-measures on Z_p and we will treat some interesting formulae related q-extension of Euler numbers and polynomials.

We study the behaviour of the Stark conjecture for an abelian extension K/k of totally real number fields as K varies in a cyclotomic Z_p-tower. We consider possible strengthenings of the natural norm-coherence in the tower of putative…

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 consider Presburger arithmetic extended by the sine function, call this extension sine-Presburger arithmetic ($\sin$-PA), and systematically study decision problems for sets of sentences in $\sin$-PA. In particular, we detail a decision…

For a prime $p$ and a matrix $A \in \mathbb{Z}^{n \times n}$, write $A$ as $A = p (A \,\mathrm{quo}\, p) + (A \,\mathrm{rem}\, p)$ where the remainder and quotient operations are applied element-wise. Write the $p$-adic expansion of $A$ as…

In \cite{MacResField} the second author gave a systematic analysis of definability and decidability for rings $\mathcal M/p\mathcal M$, where $\mathcal M$ is a model of Peano Arithmetic and $p$ is a prime in $\mathcal M$. In the present…

In this paper we give an algorithm to calculate the coefficients of the p-adic expansion of a rational numbers, and we give a method to decide whether this expansion is periodic or ultimately periodic.

We prove a negative solution to the analogue of Hilbert's tenth problem for rings of one variable non-Archimedean entire functions in any characteristic. In the positive characteristic case we prove more: the ring of rational integers is…

For a fixed prime $p$, let $\mathbb C_p$ denote the complex $p$-adic numbers. For polynomials $A,B\in \mathbb C_p[x]$ we consider decompositions $A(x)f^2(x)+B(x)g^2(x)=1$ of entire functions $f,\,g$ on $\mathbb C_p$ and try to improve an…

Our previous theorems on exponential sums often did not apply or did not give sharp results when certain powers of a variable appearing in the polynomial were divisible by p. We remedy that defect in this paper by systematically applying…

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…

Pseudoexponential fields are exponential fields similar to complex exponentiation satisfying the Schanuel Property, which is the abstract statement of Schanuel's Conjecture, and an adapted form of existential closure. Here we show that if…

We produce an infinite family of transcendental numbers which, when raised to their own power, become rational. We extend the method, to investigate positive rational solutions to the equation $x^x = \alpha$, where $\alpha$ is a fixed…

In the paper, using the extended fermionic $p$-adic integral on $\mathbb{Z}_p$, the authors find some applications of the umbral calculus. From these applications, the authors derive some identities on the weighted Euler numbers and…

Let X be an algebraic projective variety in {\bf P}^n. Denote by {\cal C}_{\lambda} the space of all effective cycles on X whose homology class is \lambda \in H_{2p} (X,{\bf Z}). It is easy to show that {\cal C}_{\lambda} is an algebraic…

We show that an exponential map $f_c(z)=e^z+c$ whose singular value $c$ is combinatorially non-recurrent and non-escaping is uniquely determined by its combinatorics, i.e. the pattern in which its dynamic rays land together. We do this by…

In this note, we give a criteria whether given two Eisenstein polynomials over a padic field define the same extension (Proposition 1.6). In particular, we completely identify Eisenstein polynomials of degree p (Theorem 1.16). This note is…