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

Monadic decomposability is a notion of variable independence, which asks whether a given formula in a first-order theory is expressible as a Boolean combination of monadic predicates in the theory. Recently, Veanes et al. showed the…

For locally compact groups G and H let A(G) denote the Fourier algebra of G and B(H) the Fourier-Stieltjes algebra of H. Any continuous piecewise affine map alpha:Y -> G (where Y is an element of the open coset ring of H) induces a…

We prove $p$-adic versions of a classical result in arithmetic geometry stating that an irreducible subvariety of an abelian variety with dense torsion has to be the translate of a subgroup by a torsion point. We do so in the context of…

The paper deals with Henselian valued field with analytic structure. Actually, we are focused on separated analytic structures, but the results remain valid for strictly convergent analytic ones as well. A classical example of the latter is…

This paper is a revised version of our preprints IMUJ Preprint 2012/04 and RAAG Preprint 343 from May 2012. It provides an example of a quasianalytic structure which, unlike the classical analytic structure, does not admit quantifier…

Let exp(x) be the function determined by the classical power series of the exponentiation. Then E_p(x):=exp(px) is well-defined on Zp, the ring of p-adic integer (for p not equal to 2, we set E_2(x)=exp(4x)). Furthermore, E_p determines a…

Let $M$ be an $R$-module and $c$ the function from $M$ to the ideals of $R$ defined by $c(x) = \cap \lbrace I \colon I \text{is an ideal of} R \text{and} x \in IM \rbrace $. $M$ is said to be a content $R$-module if $x \in c(x)M $, for all…

In this paper we generalize work of Amice and Lazard from the early (nineteen) sixties. Amice determined the dual of the space of locally Qp-analytic functions on Zp and showed that it is isomorphic to the ring of rigid functions on the…

We show quantifier elimination theorems for real closed valued fields with separated analytic structure and overconvergent analytic structure in their natural one-sorted languages and deduce that such structures are weakly o-minimal. We…

Automatic structures are first-order structures whose universe and relations can be represented as regular languages. It follows from the standard closure properties of regular languages that the first-order theory of an automatic structure…

We consider the fragment F of first order arithmetic in which quantification is restricted to ''for all but finitely many.'' We show that the integers form an F-elementary substructure of the real numbers. Consequently, the F-theory of…

We give axioms in the language of rings augmented by a 1-ary predicate symbol $Fin(x)$ with intended interpretation in the Boolean algebra of idempotents as the ideal of finite elements, i.e. finite unions of atoms. We prove that any…

We investigate coherency properties of certain completed integral group rings, precisely for compact $p$-adic Lie groups.

We study expansions of Hilbert spaces with a bounded normal operator $T$. We axiomatize this theory in a natural language and identify all of its completions. We prove the definability of the adjoint $T^*$ and prove quantifier elimination…

In this paper, we study the $F$-rationality of the Rees algebra and the extended Rees algebra of $\mathfrak{m}$-primary ideals in excellent local rings $(R, \mathfrak{m})$ of prime characteristic. We partially answer some conjectures and…

Dahmen and Schmeding have obtained the result that although the smooth Lie group $G$ of real analytic diffeomorphisms $\mathbb S^{\,1.}\to\mathbb S^{\,1.}$ has a compatible analytic manifold structure, it does not make $G$ a real analytic…

We study the family of rational sets of words, called completely reducible and which are such that the syntactic representation of their characteristic series is completely reducible. This family contains, by a result of Reutenauer, the…

When can $n$ given numbers be combined using arithmetic operators from a given subset of $\{+, -, \times, \div\}$ to obtain a given target number? We study three variations of this problem of Arithmetic Expression Construction: when the…

In this paper, we introduced the concept of a $p$-ideal for a given ring. We provide necessary and sufficient condition for $\dfrac{R[x]}{(f(x))}$ to be a $p$-ring, where $R$ is a finite $p$-ring. It is also shown that the amalgamation of…

Let $\mathbb{D}$ be a division ring and $\mathbb{F}$ be a subfield of the center of $\mathbb{D}$ over which $\mathbb{D}$ has finite dimension $d$. Let $n,p,r$ be positive integers and $\mathcal{V}$ be an affine subspace of the…