Related papers: Effective model-completeness for p-adic analytic s…

We introduce an operator on classes of regular languages, the star-free closure. Our motivation is to generalize standard results of automata theory within a unified framework. Given an arbitrary input class $C$, the star-free closure…

Let G be a compact, locally L-analytic group, where L is a finite extension of Qp. Let K be a discretely valued extension field of L. We study the algebra D(G,K) of K-valued locally analytic distributions on G, and apply our results to the…

We generalize Cooper's method of quantifier elimination for classical Presburger arithmetic to give a new proof that all parametric Presburger families (as defined by Kevin Woods) are definable by formulas with polynomially bounded…

We initiate the study of p-adic algebraic groups G from the stability-theoretic and definable topological-dynamical points of view, that is, we consider invariants of the action of G on its space of types over Q_p in the language of fields.…

Let $G$ be a finitely generated pro-$p$ group, equipped with the $p$-power series. The associated metric and Hausdorff dimension function give rise to the Hausdorff spectrum, which consists of the Hausdorff dimensions of closed subgroups of…

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 extend results of Denef, Zahidi, Demeyer and the second author to show the following. (1) Rational integers have a single-fold Diophantine definition over the ring of integral functions of any function field of characteristic 0. (2)…

Given a semi-algebraic set S, we study compactifications of S that arise from embeddings into complete toric varieties. This makes it possible to describe the asymptotic growth of polynomial functions on S in terms of combinatorial data. We…

A commutative ring is reduced when it can be embedded into a direct product of fields. While the category of reduced commutative rings plays a fundamental role in affine geometry, it exhibits several structural deficiencies: it admits…

In this paper we develop a novel approach to Witt vector rings and to the (relative) de Rham Witt complex. We do this in the generality of arbitrary commutative algebras and arbitrary truncation sets. In our construction of Witt vector…

A complete p-adic Khintchine type theorem for approximation by p-adic algebraic numbers is established.

The ring operations and the metric on $C(X)$ are extended to the set $\mathbb{H}_{nf}(X)$ of all nearly finite Hausdorff continuous interval valued functions and it is shown that $\mathbb{H}_{nf}(X)$ is both rationally and topologically…

Let $A=\mathbb{F}_q[T]$ be the polynomial ring over $\mathbb{F}_q$, and $F$ be the field of fractions of $A$. Let $\phi$ be a Drinfeld $A$-module of rank $r\geq 2$ over $F$. For all but finitely many primes $\mathfrak{p}\lhd A$, one can…

Semi-free ideal rings, or semifirs, were introduced by Paul M. Cohn to study universal localizations in the non-commutative setting. We provide new examples of semifirs consisting of analytic functions in several non-commuting variables.…

Let $\underline{E}=\prod_{p\in\mathbb{P}}E_p$ be a compact subset of $\widehat{\mathbb{Z}}=\prod_{p\in\mathbb{P}}\mathbb{Z}_p$ and denote by $\mathcal C(\underline{E},\widehat{\mathbb{Z}})$ the ring of continuous functions from…

In this paper, we offer a brief introduction to the $p$-adic numbers and operations in the metric space defined under the $p$-adic norm. Specifically, we provide a clear description of the derivation of the $p$-adic number via the…

Recently, symbolic structures were proposed as finite representations of potentially infinite first-order structures, where Linear Integer Arithmetic terms and formulas define the domain and interpretations of a structure. We generalize…

The authors of this article intend to present some results obtained in the study of biderivations of complete Lie algebras. Firstly they present a matricial approach to do this, which was a useful and explanatory tool not only in the study…

We give an induction-free axiom system for diophantine correct open induction. We relate the problem of whether a finitely generated ring of Puiseux polynomials is diophantine correct to a problem about the value-distribution of a tuple of…

We address an inverse problem in non-Archimedean dynamics: given a finite discrete dynamical system (equivalently, a functional graph on $N$ states), construct a continuous $p$-adic dynamical system whose residue-level behavior reproduces…