相关论文: Expansions of the ordered additive group of real n…

The famous series of Fibonacci numbers is defined by a recursive equation saying that each number is the sum of its two predecessors, with the initial condition that the first two numbers are equal to unity. Here, we show that the numbers…

We deduce direct formulas for the total number of subgroups and the number of subgroups of a given order of the group $\Bbb{Z}_m\times \Bbb{Z}_n \times \Bbb{Z}_r \times \Bbb{Z}_s$, where $m,n,r,s\in \Bbb{N}$. The proofs are by some simple…

Nekrashevych conjectured that the iterated monodromy groups of quadratic polynomials with preperiodic critical orbit have intermediate growth. We illustrate some of the difficulties that arise in attacking this conjecture and prove…

Motivated by a problem in additive Ramsey theory, we extend Todorcevic's partitions of three-dimensional combinatorial cubes to handle additional three-dimensional objects. As a corollary, we get that if the continuum hypothesis fails, then…

Let $d>r\ge 0$ be integers. For positive integers $a,b,c$, if any term of the arithmetic progression $\{r+dn:\ n=0,1,2,\ldots\}$ can be written as $ax^2+by^2+cz^2$ with $x,y,z\in\mathbb{Z}$, then the form $ax^2+by^2+cz^2$ is called…

We prove that every set $A\subset\mathbb{Z}/p\mathbb{Z}$ with $\mathbb{E}_x\min(1_A*1_A(x),t)\le(2+\delta)t\mathbb{E}_x 1_A(a)$ is very close to an arithmetic progression. Here $p$ stands for a large prime and $\delta,t$ are small real…

Two general methods for establishing the logarithmic behavior of recursively defined sequences of real numbers are presented. One is the interlacing method, and the other one is based on calculus. Both methods are used to prove logarithmic…

A commutative order in a quaternion algebra is called selective if it is embeds into some, but not all, the maximal orders in the algebra. It is known that a given quadratic order over a number field can be selective in at most one…

In this short note we answer to a question of group theory from arXiv:0910.5080. In that paper the author describes the set of realizable Steinitz classes for so-called $A'$-groups of odd order, obtained iterating some direct and semidirect…

We extend the classical Ostrowski numeration systems, closely related to Sturmian words, by allowing a wider range of coefficients, so that possible representations of a number $n$ better reflect the structure of the associated Sturmian…

Let $\Gamma$ be an infinite discrete subgroup of Gl$_n(\mathbb{C})$. Then either $(\mathbb{R}, <, +, \cdot, \Gamma)$ is interdefinable with $(\mathbb{R}, <, +, \cdot, \lambda^\mathbb{Z})$ for some $\lambda \in \mathbb{R}$, or $(\mathbb{R},…

We prove the Oppenheim conjecture for indefinite ternary diagonal forms of the type $x^{2}+y^{2} -\alpha z^{2}$ where $ \alpha $ is an irrational number. Our method is explicit in the sense that we are able to construct a solution to the…

In this paper, we describe the structure of finite groups whose element orders or proper (abelian) subgroup orders form an arithmetic progression of ratio $r\geq 2$. This extends the case $r=1$ studied in previous papers \cite{1,8,4}.

In this paper we initiate a study of first-order rich groups, i.e., groups where the first-order logic has the same power as the weak second order logic. Surprisingly, there are quite a lot of finitely generated rich groups, they are…

Suitable extensions of the monadic second-order theory of k successors have been proposed in the literature to capture the notion of time granularity. In this paper, we provide the monadic second-order theories of downward unbounded layered…

We define certain arithmetic derivatives on $\mathbb{Z}$ that respect the Leibniz rule, are additive for a chosen equation $a+b=c$, and satisfy a suitable non-degeneracy condition. Using Geometry of Numbers, we unconditionally show their…

We present a new asynchronous model of computation named Stellar Resolution based on first-order unification. This model of computation is obtained as a formalisation of Girard's transcendental syntax programme, sketched in a series of…

The P\'{o}lya group of an algebraic number field is the subgroup generated by the ideal classes of the products of prime ideals of equal norm inside the ideal class group. Inspired by a recent work on consecutive quadratic fields with large…

We show that it is decidable whether or not a relation on the reals definable in the structure $\langle \mathbb{R}, +,<, \mathbb{Z} \rangle$ can be defined in the structure $\langle \mathbb{R}, +,<, 1 \rangle$. This result is achieved by…

We compute the genus of a rational quadratic form in terms of the K-theory of a C*-algebra attached to the adelic orthogonal group of the form. As a corollary, one gets a higher composition law for the rational quadratic forms. As an…