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

We prove that the bisimulation-invariant fragment of weak monadic second-order logic (WMSO) is equivalent to the fragment of the modal $\mu$-calculus where the application of the least fixpoint operator $\mu p.\varphi$ is restricted to…

The notion of a strongly summing sequence is introduced. Such a sequence is weak-Cauchy, a basis for its closed linear span, and has the crucial property that the dual of this span is not weakly sequentially complete. The main result is:…

A structure is called weakly oligomorphic if it realizes only finitely many n-ary positive existential types for every n. The goal of this paper is to show that the notions of homomorphism-homogeneity, and weak oligomorphy are not only…

Using Zvonkin's transform and the Poisson equation in $R^d$ with a parameter, we prove the averaging principle for stochastic differential equations with time-dependent H\"older continuous coefficients. Sharp convergence rates with order…

A relatively new topic in computability theory is the study of notions of computation that are robust against mistakes on some kind of small set. However, despite the recent popularity of this topic relatively foundational questions about…

A global existence theorem on weak solutions is shown for the continuous coagulation equation with collisional breakage under certain classes of unbounded collision kernels and distribution functions. This model describes the dynamics of…

Continuity is one of the most central notions in mathematics, physics, and computer science. An interesting associated topic is decompositions of continuity, where continuity is shown to be equivalent to the combination of two or more weak…

This paper is an overview of results that show the Brouwer fixed-point theorem (BFPT) to be essentially non-constructive and non-computable. The main results, the counter-examples of Orevkov and Baigger, imply that there is no procedure for…

Let $A_1, \ldots ,A_m$ and $B_1, \ldots ,B_m$ be subsets of $[n]$ and let $t$ be a non-negative integer with the following property: $|A_i \cap B_i|\leq t$ for each $i$ and $|A_i\cap B_j|>t$ whenever $i< j$. Then $m\leq 2^{n-t}$. Our proof…

The B\"or\"oczky configuration of lines and (multiple) points exhibits extremal behavior in commutative algebra and combinatorics. Examples of this appear in the context of the containment problem for ordinary and symbolic powers and the…

We explore the Weihrauch degree of the problems ``find a bad sequence in a non-well quasi order'' ($\mathsf{BS}$) and ``find a descending sequence in an ill-founded linear order'' ($\mathsf{DS}$). We prove that $\mathsf{DS}$ is strictly…

We are concerned with the study of the well-posedness of a nonlinear diffusion equation with a monotonically increasing multivalued time-dependent nonlinearity derived from a convex continuous potential having a superlinear growth to…

In his book, John Stillwell wrote "finding the exact strength of the Brouwer invariance theorems seems to me one of the most interesting open problems in reverse mathematics." In this article, we solve Stillwell's problem by showing that…

We study perturbative unitarity and electroweak oblique corrections in the electroweak symmetry breaking models including an arbitrary number of neutral Higgs bosons. Requiring the perturbative unitarity of the high energy scattering…

We consider the nonlinear Poisson-Boltzmann equation in the context of electrostatic models for a biological macromolecule, embedded in a bounded domain containing a solution of an arbitrary number of ionic species which is not necessarily…

In this paper, the averaging principle is studied for a class of multiscale stochastic partial differential equations driven by $\alpha$-stable process, where $\alpha\in(1,2)$. Using the technique of Poisson equation, the orders of strong…

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…

A subsequence principle is obtained, characterizing Banach spaces containing $c_0$, in the spirit of the author's 1974 characterization of Banach spaces containing $\ell^1$. Definition: A sequence $(b_j)$ in a Banach space is called {\it…

We demonstrate that the Weihrauch lattice can be used to classify the uniform computational content of computability-theoretic properties as well as the computational content of theorems in one common setting. The properties that we study…

This paper investigates the a-posteriori analysis of Branch-and-Bound~(BB) trees to extract structural information about the feasible region of mixed-binary linear programs. We introduce three novel outer approximations of the feasible…