Related papers: More conservativity for weak K\H{o}nig's lemma

We show that compact K\"ahler manifolds have the rational cohomology ring of complex projective space provided a weighted sum of the lowest three eigenvalues of the K\"ahler curvature operator is positive. This follows from a more general…

We generalize Kirchberg's weak exactness to inclusions of C*-algebras in von Neumann algebras and study some characterizations and permanence properties which are similar to those of exact groups. We then consider a similar condition to…

We define a weak iterability notion that is sufficient for a number of arguments concerning $\Sigma_1$-definability at uncountable regular cardinals. In particular we give its exact consistency strength firstly in terms of the second…

We show that over the weak base theory $\mathrm{RCA}_0^*$, cohesive Ramsey's theorem for pairs $\mathrm{CRT}^2_2$ implies exponential closure of the definable cut $\mathrm{I}^0_1$, which is the intersection of all $\Sigma^0_1$-definable…

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…

Harvey Friedman shows that, over Peano Arithmetic, the consistency statement for a finitely axiomatised theory $A$ can be characterised as the weakest statement $C$ over Peano Arithmetic such that ${\sf PA}+C$ interprets $A$. We study which…

We show that results of Akama, Berardi, Hayashi and Kohlenbach, on the relative independence of certain arithmetical principles over intuitionistic arithmetic HA, hold also over Kleene and Vesley's system FIM of intuitionistic analysis,…

We introduce a new combinatorial condition that characterises the amenability for locally compact groups. Our condition is weaker than the well-known F{\o}lner's conditions, and so is potentially useful as a criteria to show the amenability…

We investigate the interaction between compactness principles and guessing principles in the Radin forcing extensions. In particular, we show that in any Radin forcing extension with respect to a measure sequence on $\kappa$, if $\kappa$ is…

We prove that weak amenability of a locally compact group imposes a strong condition on its amenable closed normal subgroups. This extends non weak amenability results of Haagerup (1988) and Ozawa--Popa (2010). A von Neumann algebra…

We show that the tree property, stationary reflection and the failure of approachability at $\kappa^{++}$ are consistent with $\mathfrak{u}(\kappa) = \kappa^+ < 2^\kappa$, where $\kappa$ is a singular strong limit cardinal with the…

We construct non-trivial weak solutions $\theta\in C_t^0C_x^{0-}$ to the surface quasi-geostrophic (SQG) equations, which have compact support in time and, thus, violate the conservation of the Hamiltonian. The result is sharp in view of…

The weak regular coherence is a coarse property of a finitely generated group $\Gamma$. It was introduced by G. Carlsson and this author to play the role of a weakening of Waldhausen's regular coherence as part of computation of the…

This work is a part of my upcoming thesis [7]. We establish an equiconsistency between (1) weak indestructibility for all $\kappa +2$-degrees of strength for cardinals $\kappa $ in the presence of a proper class of strong cardinals, and (2)…

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 prove that if $\Lambda\in M_p(\mathbb R^N)$ and has compact support then $\Lambda$ is a weak summability kernel for $1<p<\infty$, where $M_p(\mathbb R^N)$ is the space of multipliers of $L^p(\mathbb R^N)$.

We consider a closed set S in R^n and a linear operator \Phi on the polynomial algebra R[X_1,...,X_n] that preserves nonnegative polynomials, in the following sense: if f\geq 0 on S, then \Phi(f)\geq 0 on S as well. We show that each such…

This paper continues to study the connection between reverse mathematics and Weihrauch reducibility. In particular, we study the problems formed from Maltsev's theorem on the order types of countable ordered groups. Solomon showed that the…

We prove that if the linear-time and polynomial-time hierarchies coincide, then every model of $\Pi_1(\mathbb{N}) + \neg \Omega_1$ has a proper end-extension to a model of $\Pi_1(\mathbb{N})$, and so $\Pi_1(\mathbb{N}) + \neg \Omega_1…

Motivated by results of Juh\'asz and van Mill in [13], we define the cardinal invariant $wt(X)$, the weak tightness of a topological space $X$, and show that $|X|\leq 2^{L(X)wt(X)\psi(X)}$ for any Hausdorff space $X$ (Theorem 2.8). As…