Related papers: Generalizing a theorem of B\`{e}s and Choffrut

The main results of this paper are the construction, both rigourous and intuitive, of "the" intrinsic extension of the set of non negative integers N and the smallest over-field of R set which is continue (according to R.Dedekind). The aim…

In a recent paper, Chan, \L aba, and Pramanik investigated geometric configurations inside thin subsets of the Euclidean set possessing measures with Fourier decay properties. In this paper we ask which configurations can be found inside…

We prove the existence of global minimizers to the double minimization problem \[ \inf\Big\{ P(E) + \lambda W_p(\mathcal{L}^n \lfloor \, E,\mathcal{L}^n \lfloor\, F) \colon |E \cap F| = 0, \, |E| = |F| = 1\Big\}, \] where $P(E)$ denotes the…

A ring R is called an E-ring if the canonical homomorphism from R to the endomorphism ring End(R_Z) of the additive group R_Z, taking any r in R to the endomorphism left multiplication by r turns out to be an isomorphism of rings. In this…

Menger's theorem tells us that if $S,T$ are sets of vertices in a graph $G$, then (for $k\ge0$) either there are $k+1$ vertex-disjoint paths between $S$ and $T$, or there is a set of $k$ vertices separating $S$ and $T$. But what if we want…

Let $X=\mathcal{M}(A)$ be an affinoid space and let $f,g \in A$. We study the sets of connected components of the spaces defined by an inequality of the form $|f|\le r|g|$, with $r\ge 0$. We prove that there exists a finite partition of…

A theorem of Elekes and Szab\'{o} recognizes algebraic groups among certain complex algebraic varieties with maximal size intersections with finite grids. We establish a generalization to relations of any arity and dimension, definable in:…

We propose new structures called almost o-minimal structures and $\mathfrak X$-structures. The former is a first-order expansion of a dense linear order without endpoints such that the intersection of a definable set with a bounded open…

A set of n non-collinear points in the Euclidean plane defines at least n different lines. Chen and Chv\'atal in 2008 conjectured that the same results is true in metric spaces for an adequate definition of line. More recently, this…

We show that for every non-spherical set $X$ in $\mathbb{E}^d$, there exists a natural number $m$ and a red/blue-colouring of $\mathbb{E}^n$ for every $n$ such that there is no red copy of X and no blue progression of length $m$ with each…

We show that if $ \mathcal{Z} $ is a dp-minimal expansion of $ \left(\mathbb{Z},+,0,1\right) $ that defines an infinite subset of $ \mathbb{N} $, then $ \mathcal{Z} $ is interdefinable with $ \left(\mathbb{Z},+,0,1, < \right) $. As a…

Generalized topological spaces in the sense of Cs\'{a}sz\'{a}r have two main features which distinguish them from typical topologies. First, these families of subsets are not closed under intersections. Second, we allow for the possibility…

We are going to prove that if the theory of a structure $\mathcal M=\langle \mathbb{N}, \Sigma \rangle$ is decidable and the standard order $<$ on natural numbers $\mathbb{N}$ is definable in $\mathcal M$, then there is a nontrivial…

The following extension of Bohr's theorem is established: If a somewhere convergent Dirichlet series $f$ has an analytic continuation to the half-plane $\mathbb{C}_\theta = \{s = \sigma+it\,:\, \sigma>\theta\}$ that maps $\mathbb{C}_\theta$…

We give a general version of Bryc's theorem valid on any topological space and with any algebra $\mathcal{A}$ of real-valued continuous functions separating the points, or any well-separating class. In absence of exponential tightness, and…

Let $d$ and $n$ be positive integers, and $E/F$ be a separable field extension of degree $m=\binom{n+d}{n}$. We show that if $|F| > 2$, then there exists a point $P\in \mathbb{P}^n(E)$ which does not lie on any degree $d$ hypersurface…

We prove that, for $1 < p \neq q < \infty$, there does not exist any coarse Lipschitz embedding between the two James spaces $J_p$ and $J_q$, and that, for $1 < p < q < \infty$ and $1 < r < \infty$ such that $r \notin \{p,q\}$, $J_r$ does…

We answer four questions from a recent paper of Rao and Shinkar on Lipschitz bijections between functions from $\{0,1\}^n$ to $\{0,1\}$. (1) We show that there is no $O(1)$-bi-Lipschitz bijection from $\mathrm{Dictator}$ to $\mathrm{XOR}$…

We prove that a metric space does not coarsely embed into a Hilbert space if and only if it satisfies a sequence of Poincar\'e inequalities, which can be formulated in terms of (generalized) expanders. We also give quantitative statements,…

We propose a generalization of non-commutative geometry and gauge theories based on ternary Z_3-graded structures. In the new algebraic structures we define, we leave all products of two entities free, imposing relations on ternary products…