Related papers: The Barwise-Schlipf Theorem
The theory of the basic statistical concept of (Lehmann-Scheff\'e-)completeness is perfected by providing the theorem indicated in the title and previously overlooked for several decades. Relations to earlier results are discussed and…
We derive the universal R-matrix of the quantum-deformed enveloping algebra of centrally extended sl(2|2) using Drinfeld's quantum double construction. We are led to enlarging the algebra by additional generators corresponding to an sl(2)…
The John-Nirenberg theorem states that functions of bounded mean oscillation are exponentially integrable. In this article we give two extensions of this theorem. The first one relates the dyadic maximal function to the sharp maximal…
Let $f: X \to S$ be a unipotent degeneration of projective complex manifolds over a disc such that the reduction of the central fibre $Y=f^{-1}(0)$ is simple normal crossings, and let $X_\infty$ be the canonical nearby fibre. Building on…
The famous 1960s Lumer-Phillips Theorem states that a closed and densely defined operator $A\colon D(A)\subseteq X\rightarrow X$ on a Banach space $X$ generates a strongly continuous contraction semigroup if and only if $(A,D(A))$ is…
This article describes a Turing machine which can solve for $\beta^{'}$ which is RE-complete. RE-complete problems are proven to be undecidable by Turing's accepted proof on the Entscheidungsproblem. Thus, constructing a machine which…
We prove the Gap Theorem for the spectrum of topological modular forms $\mathrm{Tmf}$. This removes a longstanding circularity in the literature, thereby confirming the computation of $\pi_\ast \mathrm{tmf}$ from over two decades ago by…
The piecewise quadratic polynomial collocation is used to approximate the nonlocal model, which generally obtain the {\em nonsymmetric indefinite system} [Chen et al., IMA J. Numer. Anal., (2021)]. In this case, the discrete maximum…
The $p$-widths of a closed Riemannian manifold are a nonlinear analogue of the spectrum of its Laplace--Beltrami operator, which corresponds to areas of a certain min-max sequence of possibly singular minimal submanifolds. We show that the…
We study surplus extraction in the general environment of McAfee and Reny (1992), and provide two alternative proofs of their main theorem. The first is an analogue of the classic argument of Cremer and McLean (1985, 1988), using geometric…
The Subspace Theorem due to Schmidt (1972) is a broad generalisation of Roth's Theorem in Diophantine Approximation (1955) which, in the same way as the latter, suffers a notorious lack of effectivity. This problem is tackled from a…
Over a connected geometrically unibranch scheme $X$ of finite type over a finite field, we show finiteness of the number of irreducible $\bar \Q_\ell$-lisse sheaves, with bounded rank and bounded ramification in the sense of Drinfeld, up to…
In an unpublished manuscript of 1992, Johan Karlander has given an axiomatization of affine oriented matroids. A closer examination of the text revealed an invalid construction and an incorrect argument in the proof of his main theorem.…
In this paper, we prove a crucial theorem called Mirroring Theorem which affirms that given a collection of samples with enough information in it such that it can be classified into classes and subclasses then (i) There exists a mapping…
In this short note, using results of Bourgain, Fremlin, and Talagrand \cite{BFT}, we show that for a countable structure $M$, a saturated elementary extension $M^*$ of $M$ and a formula $\phi(x,y)$ the following are equivalent: (i)…
We study cyclic proof systems for $\mu\mathsf{PA}$, an extension of Peano arithmetic by positive inductive definitions that is arithmetically equivalent to the (impredicative) subsystem of second-order arithmetic $\Pi^1_2$-$\mathsf{CA}_0$…
Sampling theory has traditionally drawn tools from functional and complex analysis. Past successes, such as the Shannon-Nyquist theorem and recent advances in frame theory, have relied heavily on the application of geometry and analysis.…
The classical Perron-Frobenius theory asserts that for two matrices $A$ and $B$, if $0\leq B \leq A$ and $r(A)=r(B)$ with $A$ being irreducible, then $A=B$. This was recently extended in Bernik et al. (2012) to positive operators on…
A well-known theorem of Lax and Wendroff states that if the sequence of approximate solutions to a system of hyperbolic conservation laws generated by a conservative consistent numerical scheme converges boundedly a.e. as the mesh parameter…
Linear programming on the Stiefel manifold (LPS) is studied for the first time. It aims at minimizing a linear objective function over the set of all $p$-tuples of orthonormal vectors in ${\mathbb R}^n$ satisfying $k$ additional linear…