Related papers: Whitehead's problem and condensed mathematics

The main result of this note is the following theorem. "If $X$ is any Hausdorff space with $\kappa = \widehat{F}(X) \cdot \widehat{\mu}(X)$ then $L(X_{< \kappa}) \le \varrho(\kappa)$". Here $\widehat{F}(X)$ is the smallest cardinal…

Shelah showed that the existence of free subsets over internally approachable subalgebras follows from the failure of the PCF conjecture on intervals of regular cardinals. We show that a stronger property called the Approachable Bounded…

We prove that for every uncountable cardinal $\kappa$ such that $\kappa^{<\kappa}=\kappa$, the quasi-order of embeddability on the $\kappa$-space of $\kappa$-sized graphs Borel reduces to the embeddability on the $\kappa$-space of…

It follows from a theorem of Rosenthal that a compact space is $ccc$ if and only if every Eberlein continuous image is metrizable. Motivated by this result, for a class of compact spaces $\mathcal{C}$ we define its orthogonal…

We find a finite free resolution of the counit of the free unitary quantum groups of van Daele and Wang and, more generally, Bichon's universal cosovereign Hopf algebras with a generic parameter matrix. This allows us to compute Hochschild…

In the study of strong homology Marde\v{s}i\'c and Prasolov isolated a certain inverse system of abelian groups $\mathbf A$ indexed by elements of $\omega^\omega$. They showed that if strong homology is additive on a class of spaces…

We give a general closing-off argument in Theorem 2.1 from which several corollaries follow, including (1) if $X$ is a locally compact Hausdorff space then $|X|\leq 2^{wL(X)\psi(X)}$, and (2) if $X$ is a locally compact power homogeneous…

We prove that it is consistent that there is a non-reflexive Whitehead group, in fact one whose dual group is free. We also prove that it is consistent that there is a group A such that Ext(A,Z) is torsion and Hom(A,Z)=0. As an application…

The main result of this paper is that, under PFA, for every {\em regular} space $X$ with $F(X) = \omega$ we have $|X| \le w(X)^\omega$; in particular, $w(X) \le \mathfrak{c}$ implies $|X| \le \mathfrak{c}$. This complements numerous prior…

We prove a conjecture due to Baumgaertel and Lledo according to which for every compact group G one has Z(G)^ \cong C(G), where the `chain group' C(G) is the free abelian group (written multiplicatively) generated by the set G^ of…

We show that the conjugacy problem in a wreath product $A \wr B$ is uniform-$\mathsf{TC}^0$-Turing-reducible to the conjugacy problem in the factors $A$ and $B$ and the power problem in $B$. If $B$ is torsion free, the power problem for $B$…

We investigate the provability of classical combinatorial theorems in ZF. Using combinatorial arguments, we establish the following results for each infinite cardinal ${\kappa}\in On$, (1) ${\kappa}^+\to ({\kappa},{\omega}+1)$, (2) any…

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…

Let \lambda be a cardinal with \lambda=\lambda^{\aleph_0} and p be either 0 or a prime number. We show that there are fields K_0 and K_1 of cardinality \lambda and characteristic p such that the automorphism group of K_0 is a free group of…

We prove a version of Shelah's Categoricity Conjecture for arbitrary deconstructible classes of modules. Moreover, we show that if $\mathcal{A}$ is a deconstructible class of modules that fits in an abstract elementary class…

We provide a proof, in $ZFC$, of Shelah's eventual categoricity conjecture for abstract elementary classes (AEC's). Moreover, assuming in addition the Singular Cardinal Hypothesis ($SCH$), we prove a direct generalization to the more…

We study general methods to build forking-like notions in the framework of tame abstract elementary classes (AECs) with amalgamation. We show that whenever such classes are categorical in a high-enough cardinal, they admit a good frame: a…

We show the equivalence of several constructions of the category of condensed sets by using free resolutions of compact Hausdorff spaces. We also give an elementary construction of the condensed set associated to any presheaf on compact…

We show that it is consistent with ordinary set theory ZFC and the generalized continuum hypothesis that there exist two separable abelian groups of cardinality aleph_1 which are filtration equivalent and one is a Whitehead group but the…

In their 2022 lecture notes on condensed sets, Clausen and Scholze mentioned in a remark that the important subclass of quasiseparated condensed sets is equivalent to the category of so-called compactological spaces defined by Waelbroeck in…