In this note, we prove that Kim-dividing over models is always witnessed by a coheir Morley sequence in NATP theories. Following the strategy of Chernikov and Kaplan [8], we obtain some corollaries which hold in NATP theories. Namely, (i) if a form...
We prove that the space of smooth Riemannian metrics on the three-ball with non-negative Ricci curvature and strictly convex boundary is path connected; and, moreover, that the associated moduli space (i.e., modulo orientation-preserving diffeomorphi...
Life on the farm proves to be challenging for a plucky pig in this endearing family comedy.
We prove that the Real Johnson-Wilson theories ER(n) are homotopy associative and commutative ring spectra up to phantom maps. We further show that ER(n) represents an associatively and commutatively multiplicative cohomology theory on the category o...
We prove that every Polish group with more than two elements admits a non-trivial topological group automorphism. As a consequence, a hypothetical uniquely homogeneous Polish space with more than two points cannot be a semitopological group....
Showboats prediction, odds, spread, time: 2025 UFL picks, Week 1 bets from proven football expert". CBS Sports. Retrieved April 7, 2025. "NFL Cuts To UFL
When news of the Wang Fuk Court blaze first broke, my mind went somewhere very specific, not to bamboo, or green mesh, or “Chinese standards,” but to four US fires that every safety professional s...
This is weird so I need to know if I'm crazy for going as far as I did. I have a condition of chronic pain. The way I explain it to people without chronic pain is that if pain were on levels from 1 t...
It may seem a funny notion to write about theorems as old and rehashed as Descartes's rule of signs, De Gua's rule or Budan's. Admittedly, these theorems were proved numerous times over the centuries. However, despite the popularity of these results,...
The width of a convex curve in the plane is the minimal distance between a pair of parallel supporting lines of the curve. In this paper we study the width of nodal lines of eigenfunctions of the Laplacian on the standard flat torus. We prove a varie...
We prove a lower bound on the rank of tensors constructed from families of linear maps that `expand' the dimension of every subspace. Such families, called {\em dimension expanders} have been studied for many years with several known explicit constru...
Let $M$ be a $\mathbb{Q}$-homology solid torus. In this paper, we give a cohomological criterion for the existence of an interval of left-orderable Dehn surgeries on $M$. We apply this criterion to prove that the two-bridge knot that corresponds to t...
While India has been one of the hotspots of COVID-19, data about the pandemic from the country has proved to be largely inaccessible at scale. Much of the data exists in unstructured form on the web, and limited aspects of such data are available thr...
We prove unconditionally that for each $\ell \geq 1$, the difference $φ(p-\ell) - φ(p+\ell)$ is positive for $50\%$ of odd primes $p$ and negative for $50\%$....
We show that Vojta's conjecture for some rational surfaces is related to the $abc$ conjecture. More specifically, we prove that Vojta's conjecture on these surfaces implies a special case of the $abc$ conjecture, while the $abc$ conjecture implies Vo...
This paper is an excerpt from the author's 1968 PhD dissertation [Yale University, 1968] in which the (now) well-known result, commonly known as the Folkman-Rado-Sanders theorem, is proved. The proof uses (finite) alternating sums of integers and an...
Amazon Vine is an invitation-only program in which proven insightful reviewers have the opportunity to review new products, free of charge, in exchange for honest and unbiased product reviews. Amazon …
In [15] Robert Osserman proved that the image of the Gauss map of a complete, non flat minimal surface in R^3 with finite total curvature miss at most 3 points. In this paper we prove that the Gauss map of such a minimal immersions omit at most 2 poi...
We prove that a Hausdorff limit of Griffith almost-minimizers remains a Griffith almost-minimizer. For this purpose, we introduce a new approach to the uniform concentration property of Dal Maso, Morel and Solimini which does not rely on the coarea f...
A key challenge in automated formal reasoning is the intractable search space, which grows exponentially with the depth of the proof. This branching is caused by the large number of candidate proof tactics which can be applied to a given goal. Noneth...