Related papers: On the strength of weak compactness

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…

Let $H$ be a Hilbert space. Using Ball's solution of the "complex plank problem" we prove that the following properties of a sequence $a_n>0$ are equivalent: (1) There is a sequence $x_n \in H$ with $\|x_n\|=a_n$, having 0 as a weak cluster…

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…

We study the representation of non-weakly compact operators between $AL$-spaces. In this setting, we show that every operator admits a best approximant in the ideal of weakly compact operators. Using duality arguments, we extend this result…

We show how one can obtain solutions to the Arzel\`a-Ascoli theorem using suitable applications of the Bolzano-Weierstra{\ss} principle. With this, we can apply the results from \cite{aK} and obtain a classification of the strength of…

Computational properties of the Hahn-Banach theorem have been studied in computable, constructive and reverse mathematics and in all these approaches the theorem is equivalent to weak K\H{o}nig's lemma. Gherardi and Marcone proved that this…

We define weak units in a semi-monoidal 2-category $\CC$ as cancellable pseudo-idempotents: they are pairs $(I,\alpha)$ where $I$ is an object such that tensoring with $I$ from either side constitutes a biequivalence of $\CC$, and $\alpha:…

The main observation of this paper is that some sequential weak compactness arguments in Hilbert space theory can be replaced by Heine/Borel compactness arguments (for the strong topology). Even though the latter form of compactness fails…

The purpose of this paper is to characterize weak supercyclicity for Hilbert-space contractions, which is shown to be equivalent to characterizing weak supercyclicity for unitary operators$.$ This is naturally motivated by an open question…

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…

In this paper we solve a long standing problem about the bilinear $T1$ theorem to characterize the (weighted) compactness of bilinear Calder\'{o}n-Zygmund operators. Let $T$ be a bilinear operator associated with a standard bilinear…

We analyze Ekeland's variational principle in the context of reverse mathematics. We find that that the full variational principle is equivalent to $\Pi^1_1$-${\sf CA}_0$, a strong theory of second-order arithmetic, while natural…

We have previously established that $\Pi^1_1$-comprehension is equivalent to the statement that every dilator has a well-founded Bachmann-Howard fixed point, over $\mathbf{ATR_0}$. In the present paper we show that the base theory can be…

We show that, given a Banach space and a generator of an exponentially stable $C_{0}$-semigroup, a weakly admissible operator $g(A)$ can be defined for any $g$ bounded, analytic function on the left half-plane. This yields an (unbounded)…

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…

A combinatorial principle CECA is formulated and its equivalence with GCH+ certain weakenings of Box_lambda for singular lambda is proved. CECA is used to show that certain ``almost point- < tau'' families can be refined to point- < tau…

We investigate critical exponents relating to weak capacity in Ahlfors regular metric measure spaces. This allows a proof of a weak capacity version of a result by Bonk and Kleiner about the uniformization of metric $2$-spheres. Using our…

A nonempty closed convex bounded subset $C$ of a Banach space is said to have the weak approximate fixed point property if for every continuous map $f:C\to C$ there is a sequence $\{x_n\}$ in $C$ such that $x_n-f(x_n)$ converge weakly to 0.…

We define the class of weakly approximately divisible unital C*-algebras and show that this class is closed under direct sums, direct limits, any tensor product with any C*-algebra, and quotients. A nuclear C*-algebra is weakly…

We show that in any infinitesimally Hilbertian $CD^*(K,N)$-space at almost every point there exists a Euclidean weak tangent, i.e. there exists a sequence of dilations of the space that converges to a Euclidean space in the pointed measured…