Related papers: Robinson Splitting Theorem and $\Sigma_1$ Inductio…

We show that degrees containing a complete extensions of arithmetic have the random join property: they are the supremum of any random real they compute, with another random real. The same is true for the truth-table and weak truth-table…

We prove a general divisibility theorem that implies, e.g., that, in any group, the number of generating pairs (as well as triples, etc.) is a multiple of the order of the commutator subgroup. Another corollary says that, in any associative…

The famous partition theorem of Euler states that partitions of $n$ into distinct parts are equinumerous with partitions of $n$ into odd parts. Another famous partition theorem due to MacMahon states that the number of partitions of $n$…

Euler's theorem asserts that $A(n)=B(n)$ where $A(n)$ is the number of partitions of $n$ into distinct parts and $B(n)$ is the number of partitions of $n$ into odd parts. In this paper, it is proved that for $n>0$, \begin{align*}…

In the paper we propose a proof of Reeder's Conjecture on the graded multiplicities of small representations in the exterior algebra $\Lambda$g for the simple Lie algebras of type B and C.

We show that one can force over $L$ that $\Sigma^1_3$-separation holds, while $\Pi^1_3$-reduction fails, thus separating these two principles for the first time. The construction can be lifted to canonical inner models $M_n$ with $n$-many…

We investigate an analogue of the Wedderburn principal theorem for associative conformal algebras with finite faithful representations. It is shown that the radical splitting property for an algebra of this kind holds if the maximal…

The Recognition Theorem for graded Lie algebras is an essential ingredient in the classification of finite-dimensional simple Lie algebras over an algebraically closed field of characteristic p > 3. The main goal of this monograph is to…

In this paper we study complete manifolds equipped with smooth measures whose spectrum of the weighted Laplacian has an optimal positive lower bound and the $m$-dimensional Bakry-\'Emery Ricci curvature is bounded from below by some…

A permutation class $C$ is splittable if it is contained in a merge of two of its proper subclasses, and it is 1-amalgamable if given two permutations $\sigma$ and $\tau$ in $C$, each with a marked element, we can find a permutation $\pi$…

These notes survey and explore an emerging method, which we call the low-degree method, for predicting and understanding statistical-versus-computational tradeoffs in high-dimensional inference problems. In short, the method posits that a…

The Riemann-Lebesque Theorem is commonly proved in a few strokes using the theory of Lebesque integration. Here, the upper bound $2\pi|c_k(f)|\le S_k(f)-s_k(f)$ for the Fourier coefficients $c_k$ is proved in terms of majoring and minoring…

In this article, we introduce the notion of almost consecutive partitions. A partition is almost consecutive if every term is consecutive, with the possible exception of the smallest one. We find formulas relating to the smallest parts of…

The biclique partition number of a graph \(G\), denoted \( \operatorname{bp}(G)\), is the minimum number of biclique subgraphs that partition the edge set of \(G\). The Graham-Pollak theorem states that the complete graph on \( n \)…

The relationship according to which one physical theory encompasses the domain of empirical validity of another is widely known as "reduction." Here it is argued that one popular methodology for showing that one theory reduces to another,…

This paper contains a partial result on the Pierce--Birkhoff conjecture on piece-wise polynomial functions defined by a finite collection {f 1,. .., f r} of polynomials. In the nineteen eighties, generalizing the problem from the polynomial…

We prove that any finite set of real numbers can be split into two parts, one part being highly non-additive and the other highly non-multiplicative.

We prove a theorem which gives a bijection between the support $\tau$-tilting modules over a given finite-dimensional algebra $A$ and the support $\tau$-tilting modules over $A/I$, where $I$ is the ideal generated by the intersection of the…

We show that a Riemannian $3$-manifold with non-negative scalar curvature is flat if it contains an area-minimizing cylinder. This scalar-curvature analogue of the classical splitting theorem of J.~Cheeger and D.~Gromollhas been conjectured…

As essential condition for the validy of Robin's Theorem as a precondition for the proof of the Riemann hypothesis, we show that the minimum of the function $F={\rm e}^{\gamma}\,\ln(\ln\,n)-\sigma(n)/n$ is found to be positive. Therefore,…