Related papers: Powers are easy to avoid

Let $f:\mathbb{Q}\to \mathbb{Q}$ be a function definable in an o-minimal expansion of $(\mathbb{Q},<,+,0)$. We show that $f$ is eventually linear. In addition, we show that this holds in every elementary equivalent structure.

We give a new proof of the Hansen-Mullen irreducibility conjecture. The proof relies on an application of a (seemingly new) sufficient condition for the existence of elements of degree $n$ in the support of functions on finite fields. This…

It is a common knowledge that the integer functions definable in simply typed lambda-calculus are exactly the extended polynomials. This is indeed the case when one interprets integers over the type (p->p)->p->p where p is a base type…

We construct a model complete and o-minimal expansion of the field of real numbers such that, for any planar analytic vector field X and any isolated, non-resonant hyperbolic singularity p of X, a transition map for X at p is definable in…

We extend a bound of Roche-Newton, Shparlinski and Winterhof which says any subset of a finite field can be decomposed into two disjoint subset $\cU$ and $\cV$ of which the additive energy of $\cU$ and $f(\cV)$ are small, for suitably…

We continue our analysis of establishing the reliability of "simple" effective theories where massive fields are "frozen" rather than integrated out, in a wide class of four dimensional theories with global or local N=1 supersymmetry. We…

The problem is considered as to whether a monotone function defined on a subset P of a Euclidean space can be strictly monotonically extended to the whole space. It is proved that this is the case if and only if the function is {\em…

Using the theory of functions of several complex variables, we prove that if an analytic function in several variables satisfies a system of $q$-partial differential equations, then, it can be expanded in terms of the product of the…

The Expansion property considered by researchers in Social Choice is shown to correspond to a logical property of nonmonotonic consequence relations that is the {\em pure}, i.e., not involving connectives, version of a previously known weak…

We use the properties of Hermite and Kamp\'e de F\'eriet polynomials to get closed forms for the repeated derivatives of functions whose argument is a quadratic or higher-order polynomial. The results we obtain are extended to product of…

We continue the analysis of definably compact groups definable in a real closed field $\mathcal{R}$. In [3], we proved that for every definably compact definably connected semialgebraic group $G$ over $\mathcal{R}$ there are a connected…

The notion of symmetry in polynomial rings with several indeterminates is generalized to polynomial rings over finite fields. Families of extensions of the projective line over a finite field of constants possessing this property are…

We study the expressive power of subrecursive probabilistic higher-order calculi. More specifically, we show that endowing a very expressive deterministic calculus like G\"odel's $\mathbb{T}$ with various forms of probabilistic choice…

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…

In 1985, van den Dries showed that the theory of the reals with a predicate for the integer powers of two admits quantifier elimination in an expanded language, and is hence decidable. He gave a model-theoretic argument, which provides no…

Let $\mathbb{T}$ be the differential field of logarithmic-exponential transseries. We show that the expansion of $\mathbb{T}$ by its natural exponential function is model complete and locally o-minimal. We give an axiomatization of the…

An abstract, Hales-Jewett type extension of the polynomial van der Waerden Theorem [J. Amer. Math. Soc. 9 (1996),725-753] is established: Theorem. Let r,d,q \in \N. There exists N \in \N such that for any r-coloring of the set of subsets of…

Let $\widetilde{\mathbb{Q}_p}$ be the field of $p$-adic numbers in the language of rings. In this paper we consider the theory of $\widetilde{\mathbb{Q}_p}$ expanded by two predicates interpreted by multiplicative subgroups…

We study definably compact definably connected groups definable in a sufficiently saturated real closed field $R$. We introduce the notion of group-generic point for $\bigvee$-definable groups and show the existence of group-generic points…

The complex field, equipped with the multivalued functions of raising to each complex power, is quasiminimal, proving a conjecture of Zilber and providing evidence towards his stronger conjecture that the complex exponential field is…