相关论文: From Bolzano-Weierstra{\ss} to Arzel\`a-Ascoli

The aim of this paper is to determine the logical and computational strength of instances of the Bolzano-Weierstra{\ss} principle (BW) and a weak variant of it. We show that BW is instance-wise equivalent to the weak K\"onig's lemma for…

In the paper, we generalize the Arzel\`a-Ascoli theorem in the setting of uniform spaces. At first, we recall well-known facts and theorems coming from monographs of Kelley and Willard. The main part of the paper introduces the notion of…

We study the logical and computational strength of weak compactness in the separable Hilbert space \ell_2. Let weak-BW be the statement the every bounded sequence in \ell_2 has a weak cluster point. It is known that weak-BW is equivalent to…

In reverse mathematics, real numbers are traditionally represented by Cauchy sequences with a given rate of convergence. We work without rates and speak of slow Cauchy sequences. It turns out that almost all one-dimensional real analysis…

Global solutions to the multicomponent Smoluchowski coagulation equation are constructed for measure-valued initial data with minimal assumptions on the moments. The framework is based on an abstract formulation of the Arzel\`a-Ascoli…

The well-posedness of the growth-coagulation equation is established for coagulation kernels having singularity near the origin and growing atmost linearly at infinity. The existence of weak solutions is shown by means of the method of the…

We analyze the strength of Helly's selection theorem HST, which is the most important compactness theorem on the space of functions of bounded variation. For this we utilize a new representation of this space intermediate between $L_1$ and…

Following [3] we say that a Tychonoff space $X$ is an Ascoli space if every compact subset $\mathcal{K}$ of $C_k(X)$ is evenly continuous; this notion is closely related to the classical Ascoli theorem. Every $k_\mathbb{R}$-space, hence any…

Let $\mathsf{TT}^2_k$ denote the combinatorial principle stating that every $k$-coloring of pairs of compatible nodes in the full binary tree has a homogeneous solution, i.e. an isomorphic subtree in which all pairs of compatible nodes have…

We prove that the Cohesiveness Principle (COH) is $\Pi^1_1$ conservative over $RCA_0 + I\Sigma^0_n$ and over $RCA_0 + B\Sigma^0_n$ for all $n \geq 2$ by recursion-theoretic means. We first characterize COH over $RCA_0 + B\Sigma^0_2$ as a…

The proofs of K. Oka's Coherence Theorems are based on Weierstrass' Preparation (division) Theorem. Here we formulate and prove a Weak Coherence Theorem without using Weierstrass' Preparation Theorem, but only with power series expansions:…

The principle $ADS$ asserts that every linear order on $\omega$ has an infinite ascending or descending sequence. This has been studied extensively in the reverse mathematics literature, beginning with the work of Hirschfeldt and Shore. We…

We investigate the logical strength of the cohesiveness principle when restricted to finite sequences of sets, denoted by fin-COH, over different base theories. Our main result shows that fin-COH entails $I\Sigma_1^0$ over the weaker base…

Point neuron models with a Heaviside firing rate function can be ill-posed. That is, the initial-condition-to-solution map might become discontinuous in finite time. If a Lipschitz continuous, but steep, firing rate function is employed,…

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…

This paper uses the framework of reverse mathematics to investigate the strength of two recurrence theorems of topological dynamics. It establishes that one of these theorems, the existence of an almost periodic point, lies strictly between…

This paper investigates the logical strength of completeness theorems for modal propositional logic within second-order arithmetic. We demonstrate that the weak completeness theorem for modal propositional logic is provable in…

We generalize the Arzel\`a-Ascoli theorem in the space of continuous maps on a compact interval with values in Euclidean N-space by providing a quantitative link between the Hausdorff measure of noncompactness in this space and a natural…

We prove that several versions of the Tietze extension theorem for functions with moduli of uniform continuity are equivalent to WKL_0 over RCA_0. This confirms a conjecture of Giusto and Simpson that was also phrased as a question in…

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…