相关论文: The cohesive principle and the Bolzano-Weierstra{\…

Prototypical rational vertex operator algebras are associated to affine Lie algebras at positive integer level k. They correspond physically to the Wess-Zumino-Witten theories, and their representation theory can be captured by quantum…

The Bogolyubov-Ruzsa lemma, in particular the quantitative bounds obtained by Sanders, plays a central role in obtaining effective bounds for the inverse $U^3$ theorem for the Gowers norms. Recently, Gowers and Mili\'cevi\'c applied a…

We prove strengthenings of the Birkhoff Ergodic Theorem for weakly mixing and strongly mixing measure preserving systems. We show that our pointwise theorem for weakly mixing systems is strictly stronger than the Wiener-Wintner Theorem. We…

We present and analyze a natural hierarchy of weak theories, develop analysis in them, and show that they are interpretable in bounded quantifier arithmetic $\text{I}\Delta_0$ (and hence in Robinson arithmetic Q). The strongest theories…

In this article, the weak-strong uniqueness principle is proved for an Euler-Poisson system in the whole space, with initial data so that the strong solution exists. Some results on Riesz potentials are used to justify the considered weak…

We give a characterization of the existence of copies of $c_{0}$ in Banach spaces in terms of indexes. As an application, we deduce new proofs of James Distortion theorem and Bessaga-Pe{\l}czynski theorem about weakly unconditionally Cauchy…

In this paper we provide a rigorous derivation of the inelastic linear Boltzmann equation, in the Boltzmann-Grad limit, from a dissipative, random, Lorentz gas in arbitrary dimensions d $\geq$ 2. Specifically, we consider a microscopic…

We provide a generalization of Theorem 1 in Bartkiewicz, Jakubowski, Mikosch and Wintenberger (2011) in the sense that we give sufficient conditions for weak convergence of finite dimensional distributions of the partial sum processes of a…

A cohesive power of a computable structure is an effective ultrapower where a cohesive set acts as an ultrafilter. Let $\omega$, $\zeta$, and $\eta$ denote the respective order-types of the natural numbers, the integers, and the rationals.…

The strong maximum principle is proved to hold for weak (in the sense of support functions) sub- and super-solutions to a class of quasi-linear elliptic equations that includes the mean curvature equation for $C^0$ spacelike hypersurfaces…

Cousin's lemma is a compactness principle that naturally arises when studying the gauge integral, a generalisation of the Lebesgue integral. We study the axiomatic strength of Cousin's lemma for various classes of functions, using Friedman…

In this paper, we study the well-posedness of backward doubly stochastic differential equations (BDSDEs), both with and without reflection, under weak conditions. First, when the generator $f$ is of general growth in $y$ and linear growth…

We study the degree spectra and reverse-mathematical applications of computably enumerable and co-computably enumerable partial orders. We formulate versions of the chain/antichain principle and ascending/descending sequence principle for…

We consider a real two-fluid system of compressible viscous fluids with a common velocity field and algebraic closure for the pressure law. The constitutive relation involves densities of both fluids through an implicit function. The…

The dynamic optimality conjecture, postulating the existence of an $O(1)$-competitive online algorithm for binary search trees (BSTs), is among the most fundamental open problems in dynamic data structures. Despite extensive work and some…

We consider a model of a viscoelastic compressible flow in $R^{3}$ which is additionally shear thickening (the stress tensor corresponds to the power law model, however, the divergence of the velocity is due to the model bounded). We prove…

Let $G$ be a connected and simply connected semisimple algebraic group over $\Bbb Q$ and let $\Gamma\subset G(\Bbb Q)$ be an arithmetic subgroup. Let $K_\infty\subset G(\Bbb R)$ be a maximal compact subgroup and let $d$ be the dimension of…

The uniform Kruskal theorem extends the original result for trees to general recursive data types. As shown by A. Freund, M. Rathjen and A. Weiermann, it is equivalent to $\Pi^1_1$-comprehension, over $\mathsf{RCA_0}$ with the chain…

Let $X$ be a rationally connected algebraic variety, defined over a number field $k$. We find a relation between the arithmetic of rational points on $X$ and the arithmetic of zero-cycles. More precisely, we consider the following…

In this paper we study Weihrauch reducibility for multi-valued functions on represented spaces. We call the corresponding equivalence classes Weihrauch degrees and we show that the corresponding partial order induces a lower semi-lattice…