Related papers: The real field with an irrational power function a…
Motivated by a result of van der Poorten and Shparlinski for univariate power series, Bell and Chen prove that if a multivariate power series over a field of characteristic 0 is D-finite and its coefficients belong to a finite set then it…
We give necessary and sufficient conditions for a polynomially bounded o-minimal expansion of a real closed field (in a language of arbitrary cardinality) to be $\aleph_{\alpha}$-saturated. The conditions are in terms of the value group,…
Our overall goal is to unify and extend some results in the literature related to the approximation of generating functions of finite and infinite sequences over a field by rational functions. In our approach, numerators play a significant…
We show that the finiteness length of an $S$-arithmetic subgroup $\Gamma$ in a noncommutative isotropic absolutely almost simple group $G$ over a global function field is one less than the sum of the local ranks of $G$ taken over the places…
A group presentation is said to have rational growth if the generating series associated to its growth function represents a rational function. A long-standing open question asks whether the Heisenberg group has rational growth for all…
An expansion of a definably complete field either defines a discrete subring, or the image of a definable discrete set under a definable map is nowhere dense. As an application we show a definable version of Lebesgue's differentiation…
We construct, using mild combinatorial hypotheses, a real Menger set that is not Scheepers, and two real sets that are Menger in all finite powers, with a non-Menger product. By a forcing-theoretic argument, we show that the same holds in…
A set $S\subseteq 2^E$ of subsets of a finite set $E$ is \emph{powerful} if, for all $X\subseteq E$, the number of subsets of $X$ in $S$ is a power of 2. Each powerful set is associated with a non-negative integer valued function, which we…
We consider the Noether's problem on the noncommutative real rational functions invariant under the linear action of a finite group. For abelian groups the invariant skew-fields are always rational. We show that for a solvable group the…
We work over an o-minimal expansion of a real closed field R. Given a closed simplicial complex K and a finite number of definable subsets of its realization |K| in R we prove that there exists a triangulation (K',f) of |K| compatible with…
Inspired by Conway's surreal numbers, we study real closed fields whose value group is isomorphic to the additive reduct of the field. We call such fields omega-fields and we prove that any omega-field of bounded Hahn series with real…
We study groups and rings definable in d-minimal expansions of ordered fields. We generalize to such objects some known results from o-minimality. In particular, we prove that we can endow a definable group with a definable topology making…
We study the {\it quasi-classical limit} of a quantum system composed of finitely many non-relativistic particles coupled to a quantized field in Nelson-type models. We prove that, as the field becomes classical and the corresponding…
There are many ways to construct the field R of real numbers. The most important and famous of these employ Cauchy sequences (Cantor) or cuts (Dedekind) in the field Q of rational numbers. These constructions sometimes overlook important…
For each odd prime $p$, we prove the existence of infinitely many real quadratic fields which are $p$-rational. Explicit imaginary and real bi-quadratic $p$-rational fields are also given for each prime $p$. Using a recent method developed…
Every countable group that does not contain a finitely generated subgroup of exponential growth imbeds in a finitely generated group of subexponential growth. This produces in particular the first examples of groups of subexponential growth…
Let $k$ be a nonperfect separably closed field. Let $G$ be a (possibly non-connected) reductive group defined over $k$. We study rationality problems for Serre's notion of complete reducibility of subgroups of $G$. In our previous work, we…
We discuss whether finiteness properties of a profinite group $G$ can be deduced from the probabilistic zeta function $P_G(s)$. In particular we prove that if $P_G(s)$ is rational and all but finitely many nonabelian composition factors of…
I describe recent progress towards a theory of the NN force which captures the consequences of QCD's chiral symmetry and the pattern of its breaking, and is formulated as an expansion in a ratio of low and high mass scales, M_{lo}/M_{hi}.…
We present a diagram surveying equivalence or strict implication for properties of different nature (algebraic, model theoretic, topological, etc.) about groups definable in o-minimal structures. All results are well-known and an extensive…