Related papers: Bounded variation and the strength of Helly's sele…

Helly's selection theorem provides a criterion for compactness of sets of single-variable functions with bounded pointwise variation. Fra{\v{n}}kov{\'a} has given a proper extension of Helly's theorem to the setting of single-variable…

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…

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…

We show that for arbitrary linearly ordered set $X$ any bounded family of (not necessarily, continuous) real valued functions on $X$ with bounded total variation does not contain independent sequences. We obtain generalized Helly's…

The boundedness and compactness of weighted composition operators on the Hardy space ${\mathcal H}^2$ of the unit disc is analysed. Particular reference is made to the case when the self-map of the disc is an inner function. Schatten-class…

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…

We obtain exhaustive results and treat in a unified way the question of boundedness, compactness, and weak compactness of composition operators from the Bloch space into any space from a large family of conformally invariant spaces that…

The weak tightness $wt(X)$, introduced in [6], has the property $wt(X)\leq t(X)$. It was shown in [4] that if $X$ is a homogeneous compactum then $|X|\leq 2^{wt(X)\pi\chi(X)}$. We introduce the almost tightness $at(X)$ with the property…

Let X and Y be bounded multiply connected Lipschitz domains in \R^2. We consider the class H_p (X, Y) of homeomorphisms h : X -> Y in the Sobolev space W^{1,p} (X, \R^2). We prove that the weak and strong closures of H_p (X, Y), 2 \le p<…

We prove conservativity results for weak K\H{o}nig's lemma that extend the celebrated result of Harrington (for $\Pi^1_1$-statements) and are somewhat orthogonal to the extension by Simpson, Tanaka and Yamazaki (for statements of the form…

We establish a strong law of large numbers and a central limit theorem in the Bures-Wasserstein space of covariance operators -- or equivalently centred Gaussian measures -- over a general separable Hilbert space. Specifically, we show that…

Our main result is the following: {\it Let $E$ be a Banach space and $D$ be a weakly compact subset of $E$ with $0\notin D$. If $A$ is a bounded subset of $E$ such that every $x^*\in E^*$ with $x^*(D) >0$ attains its supremum on $A$, then…

Taking a compact K\"{a}hler manifold as playground, we explore the powerfulness of Hodge index theorem. A main object is the Lorentzian classes on a compact K\"{a}hler manifold, behind which the characterization via Lorentzian polynomials…

We classify the computational content of the Bolzano-Weierstrass Theorem and variants thereof in the Weihrauch lattice. For this purpose we first introduce the concept of a derivative or jump in this lattice and we show that it has some…

We characterize the weak-type boundedness of the Hilbert transform $H$ on weighted Lorentz spaces $\Lambda^p_u(w)$, with $p>0$, in terms of some geometric conditions on the weights $u$ and $w$ and the weak-type boundedness of the…

We work in set-theory without choice ZF. Denoting by AC(N) the countable axiom of choice, we show in ZF+AC(N) that the closed unit ball of a uniformly convex Banach space is compact in the convex topology (an alternative to the weak…

In this paper, we study a class of Banach spaces, called \phi-spaces. In a natural way, we associate a measure of weak compactness in such spaces and prove an analogue of Sadovskii fixed point theorem for weakly sequentially continuous…

Let $p(\cdot):\ \mathbb R^n\to(0,\infty)$ be a variable exponent function satisfying the globally log-H\"older continuous condition. In this article, the authors first introduce the variable weak Hardy space on $\mathbb R^n$,…

We give a general version of Bryc's theorem valid on any topological space and with any algebra $\mathcal{A}$ of real-valued continuous functions separating the points, or any well-separating class. In absence of exponential tightness, and…

Homotopical localizations with respect to (possibly proper) classes of maps are known to exist assuming the validity of a large-cardinal axiom from set theory called Vop\v{e}nka's principle. In this article, we prove that each of the…