Related papers: The Myhill isomorphism theorem does not generalize…

It is shown that the isomorphism relation between continuous t-norms is Borel bireducible with the relation of order isomorphism between linear orders on the set of natural numbers, and therefore, it is a Borel complete equivalence…

A conjecture of May states that there is an up-to-adjunction strictification of symmetric bimonoidal functors between bipermutative categories. The main result of this paper proves a weaker form of May's conjecture that starts with…

Given a submanifold Z inside X, let Y be the blow-up of X along Z. When the normal bundle of Z in X is convex with a minor assumption, we prove that genus-zero GW-invariants of Y with cohomology insertions from X, are identical to…

We establish theorems on the existence and compactness of solutions to the $\sigma_2$-Nirenberg problem on the standard sphere $\mathbb S^2$. A first significant ingredient, a Liouville type theorem for the associated fully nonlinear…

This note is a supplement to our paper `Proof of spherical flocking based on quantitative rearrangement inequalities'. Recently, M. Christ has derived a deep result concerning stability of the Riesz rearrangement inequality. We are…

According to the Weinstein splitting theorem, any Poisson manifold is locally, near any given point, a product of a symplectic manifold with another Poisson manifold whose Poisson structure vanishes at the point. Similar splitting results…

In this paper we study admissible extensions of several theories T of reverse mathematics. The idea is that in such an extension the structure M = (N,S,\in) of the natural numbers N and collection of sets of natural numbers S has to obey…

We give a direct combinatorial proof of the $q,t$-symmetry relation $\tilde H_{\mu}(X;q,t)=\tilde H_{\mu'}(X;t,q)$ in the Macdonald polynomials $\tilde H_\mu$ at the specialization $q=1$. The bijection demonstrates that the Macdonald inv…

The classical double bubble theorem characterizes the minimizing partitions of $\mathbb{R}^n$ into three chambers, two of which have prescribed finite volume. In this paper we prove a variant of the double bubble theorem in which two of the…

Max Noether's Theorem asserts that if $\ww$ is the dualizing sheaf of a nonsingular nonhyperelliptic projective curve then the natural morphisms $\text{Sym}^nH^0(\omega)\to H^0(\omega^n)$ are surjective for all $n\geq 1$. This is true for…

In this note, we give an alternative proof of the following result. Let p, q >= 2 be two multiplicatively independent integers. If an infinite set of integers is both p- and q-recognizable, then it is syndetic. Notice that this result is…

In this paper, we establish a theorem that proves a condition when an inclusion morphism between simplicial sets becomes a weak homotopy equivalence. Additionally, we present two applications of this result. The first application…

Let T be a triangulated category, A a graded abelian category and h: T -> A a homology theory on T with values in A. If the functor h reflects isomorphisms, is full and is such that for any object x in A there is an object X in T with an…

We define the notion of an indexed profunctor over a 2-category, and use it to develop an abstract theory of limits. The theory subsumes (conical) limits, weighted limits, ends and Kan extensions. Results include an abstract version of the…

The problem of formulating a manifest covariant Hamiltonian theory of General Relativity in the presence of source fields is addressed, by extending the so-called "DeDonder-Weyl" formalism to the treatment of classical fields in curved…

Let $\mathbf{X}$ be a class of metric spaces and let $\mathbf{P}_{\mathbf{X}}$ be the set of all $f:[0, \infty)\to [0, \infty)$ preserving $\mathbf{X},$ $(Y, f\circ\rho)\in\mathbf{X}$ whenever $(Y, \rho)\in\mathbf{X}.$ For arbitrary subset…

The change of variable theorem is proved under the sole hypothesis of differentiability of the transformation. Specifically, it is shown under this hypothesis that the transformed integral equals the given one over every measurable subset…

A topological space is said to be cardinality homogeneous if every nonempty open subset has the same cardinality as the space itself. Let $X$ and $Y$ be cardinality homogeneous metric spaces of the same cardinality. If there exists a…

By the Cole-Hopf transformation, with any linear evolution equation in 1+1 dimensions a generalized Burgers equation is associated. We describe local conservation laws of these equations. It turns out that any generalized Burgers equation…

A notable result from analysis of Boolean functions is the Basic Invariance Principle (BIP), a quantitative nonlinear generalization of the Central Limit Theorem for multilinear polynomials. We present a generalization of the BIP for…