Related papers: Definable Davies' Theorem

Let $\{b(n):n\in\N\}$ be the sequence of coefficients in the Taylor expansion of a rational function $R(X)\in\Q(X)$ and suppose that b(n) is a perfect $d^{\rm th}$ power for all large n. A conjecture of Pisot states that one can choose a…

We consider the approximation of a continuous function, defined on a compact set of the $d$-dimensional Euclidean space, by sums of two ridge functions. We obtain a necessary and sufficient condition for such a sum to be a best…

We prove the identity \[ 2W_1(x) + \log 4 + \psi\left(\tfrac{1}{2} + x\right) + \psi\left(\tfrac{3}{2} - x\right) = 0, \] where $\psi$ is the digamma function and \[ W_1(x) = 2\int_0^\infty \Re\left( \frac{y}{(y^2+1)(e^{\pi(y+2ix)} - 1)}…

This document provides a formal proof of Birkhoff's completeness theorem for multi-sorted algebras which states that any equational entailment valid in all models is also provable in the equational theory. More precisely, if a certain…

In this paper, we prove a definable version of Kirszbraun's theorem in a non-Archimedean setting for definable families of functions in one variable. More precisely, we prove that every definable function $f : X \times Y \to…

Let $\Gamma$ be either i) the absolute Galois group of a local field $F$, or ii) the topological fundamental group of a closed connected orientable surface of genus $g$. In case i), assume that $\mu_{p^2} \subset F$. We give an elementary…

Let $A$ be a commutative unital $\mathbb{R}$-algebra and let $\rho$ be a seminorm on $A$ which satisfies $\rho(ab)\leq\rho(a)\rho(b)$. We apply T. Jacobi's representation theorem to determine the closure of a $\sum A^{2d}$-module $S$ of $A$…

Let $I_n(x)=\prod_{i=1}^n \left( 1+x^{F_{i+1}}\right)$, where $F_{i+1}$ denotes a Fibonacci number. Let $v_r(n)$ denote the sum of the $r$th powers of the coefficients of $I_n(x)$. Our prototypical result is that $\sum_{n\geq 0} v_2(n)x^n=…

The Implicit and Inverse Function Theorems are special cases of a general Implicit/Inverse Function Theorem which can be easily derived from either theorem. The theorems can thus be easily deduced from each other via the generalized…

Let L be an algebraic set and let g : R^(n+1) \times L --> R^(2n) (n is even) be a polynomial mapping such that for each l in L there is r(l)>0 such that the mapping g_l = g(.,l) restricted to the sphere S^n(r) is an immersion for every…

We show that the theory $I\Sigma_1$ of $\Sigma_1$-induction proves the following statement: For all $n\geq 2$, the uniform $\Sigma_1$-reflection principle over the theory $I\Sigma_n$ is equivalent to the totality of the function…

We prove the following theorem: let $\widetilde{\mathcal R}$ be an expansion of the real field $\overline{\mathbb R}$, such that every definable set (I) is a uniform countable union of semialgebraic sets, and (II) contains a "semialgebraic…

We study $\mathbb{R}_{\textrm{an},\exp}$-definable functions $f:\mathbb{R}\to \mathbb{R}$ that take integer values at all sufficiently large positive integers. If $|f(x)|= O\big(2^{(1+10^{-5})x}\big)$, then we find polynomials $P_1, P_2$…

Under the assumption $P=\Sigma_2^p$, we prove a new variant of the Union Theorem of McCreight and Meyer for the class $\Sigma_2^p$. This yields a union function $F$ which is computable in time $F(n)^c$ for some constant $c$ and satisfies…

We provide an alternative unified approach for proving the Pythagorean theorem (in dimension $2$ and higher), the law of sines and the law of cosines, based on the concept of shape derivative. The idea behind the proofs is very simple: we…

This note is purely expository. The statement of the Gauss theorem on the constructibility of regular polygons by means of compass and ruler is simple and well-known. However, its proofs given in most textbooks rely upon much unmotivated…

We develop a novel formal theory of finite structures, based on a view of finite structures as a fundamental artifact of computing and programming, forming a common platform for computing both within particular finite structures, and in the…

We study how well a real number can be approximated by sums of two or more rational numbers with denominators up to a certain size.

We give a simple proof of the Birkhoff theorem about existence of a faithful representation for any finite-dimensional nilpotent Lie algebra of characteristic zero.

In this paper it is proven that for any $f\in\mathbb{R}(x_1,x_2)$ and $A_1,A_2$ nonempty finite subsets of $\mathbb{R}$ such that $|A_1|=|A_2|$ and $f$ is defined in $A_1\times A_2$, we have that \begin{equation*}…