Related papers: Aristotelian poetry
We introduce a stronger version of an $\omega_1$-guessing model, which we call an indestructibly $\omega_1$-guessing model. The principle IGMP states that there are stationarily many indestructibly $\omega_1$-guessing models. This…
We offer a mathematical proof of consistency for Peano Arithmetic PA formalizable in PA. This result is compatible with Goedel's Second Incompleteness Theorem since our consistency proof does not rely on the representation of consistency as…
Using Bochner techniques, we prove that a compact Einstein manifold of dimension $n \ge 4$ has constant curvature provided that the curvature operator of the second kind satisfies a cone condition that is strictly weaker than nonnegativity.…
Cicho\'n's diagram lists twelve cardinal characteristics (and the provable inequalities between them) associated with the ideals of null sets, meager sets, countable sets, and $\sigma$-compact subsets of the irrationals. It is consistent…
After relating the notion of $\omega$-recurrence in skew products to the range of values taken by partial ergodic sums and Lyapunov exponents, ergodic $\mathbb{Z}$-valued cocycles over an irrational rotation are presented in detail. First,…
In his 2006 paper, Jin proves that Kalantari's bounds on polynomial zeros, indexed by $m \leq 2$ and called $L_m$ and $U_m$ respectively, become sharp as $m\rightarrow\infty$. That is, given a degree $n$ polynomial $p(z)$ not vanishing at…
It is well-known that for any non-constant polynomial $P$ with integer coefficients the sequence $(P(n))_{ n\in \mathbb N}$ has the property that there are infinitely many prime numbers dividing at least one term of this sequence.…
We introduce a $\sigma$-ideal on $\omega_1 \times \omega_1$ and a filter on the collection of graphs of strictly decreasing partial functions on $\omega_1$ taking values in $\omega_1$. We use them to prove that a certain space is a…
We prove a motivic stabilization result for the cohomology of the local systems on configuration spaces of varieties over $\mathbb{C}$ attached to character polynomials. Our approach interprets the stabilization as a probabilistic…
Bollob\'{a}s and Nikiforov (J. Combin. Theory Ser. B. 97 (2007) 859-865) conjectured that for a graph $G$ with $e(G)$ edges and the clique number $\omega(G)$, then $ \lambda_{1}^{2}+\lambda_{2}^{2}\leq…
We prove the constructive version of Birkhoff's ergodic theorem following Vyugin but trying to separate and state explicitly the combinatorial statement on which this proof is based. We pose some questions related to this statement (and the…
We give an affirmative answer to a question of Gorelic \cite{Gorelic}, by showing it is consistent, relative to the existence of large cardinals, that there is a proper class of cardinals $\alpha$ with $cf(\alpha)=\omega_1$ and…
We present results on the stability of quantum systems consisting of a negative charge $-q_1$ with mass $m_{1}$ and two positive charges $q_2$ and $q_3$, with masses $m_{2}$ and $m_{3}$, respectively. We show that, for given masses $m_{i}$,…
The coefficients $A_n(\alpha,\beta,\omega)$ in the Maclaurin expansion $(1+\omega z)^{\alpha}(1-z)^{-\beta}= \sum_{n=0}^{\infty} A_n(\alpha,\beta,\omega)z^n$ are studied, where $\omega,z \in \mathbb{C}$ with $|z| < |\omega|=1$, and…
We show that strongly monotone systems of ordinary differential equations which have a certain translation-invariance property are so that all solutions converge to a unique equilibrium. The result may be seen as a dual of a well-known…
We define bounded generation for $E_n$-algebras in chain complexes and prove that for $n \geq 2$ this property is equivalent to homological stability. Using this we prove a local-to-global principle for homological stability, which says…
A celebrated argument of F. Hartogs (1915) deduces the Axiom of Choice from the hypothesis of comparability for any pair of cardinals. We show how each of a sequence of seemingly much weaker hypotheses suffices. Fixing a finite number…
It is shown that the orthogonal polynomials, corresponding to the oscillatory weight $e^{\im\omega x}$, exists if $\omega$ is a transcendental number and $\tan\omega/\omega\in\Q$. Also, it is proved that such orthogonal polynomials exist…
Given a precompact domain $\Omega \subseteq\mathbb{R}^2$, the electrostatic skeleton of $\Omega$ is defined as a positive measure inside $\Omega$, supported on a set with no simple loops, which generates $\partial \Omega$ as an…
This paper exposes a contradiction in the Zermelo-Fraenkel set theory with the axiom of choice (ZFC). While Godel's incompleteness theorems state that a consistent system cannot prove its consistency, they do not eliminate proofs using a…