Souslin's Hypothesis and Convergence in Category

A forcing axiom deciding the generalized Souslin Hypothesis

We derive a forcing axiom from the conjunction of square and diamond, and present a few applications, primary among them being the existence of super-Souslin trees. It follows that for every uncountable cardinal $λ$, if $λ^{++}$ is not a Mahlo cardinal in Gödel's constructible universe, then $2^λ= λ^+$ entails the existence of a $λ^+$-complete $λ^{++}$-Souslin tree.

Galois-Tukey范畴中的显式态射

Explicit Morphisms in the Galois-Tukey Category

本文通过将连续统基数特征不等式中的底层态射显式化，重新表述传统直接证明，并给出新的纯范畴论结果。

Topology, Metric Spaces and the Generalized Continuum Hypothesis

This is a paper that aims to interpret the cardinality of a set in terms of Baire Category, i.e. how many closed nowhere dense sets can be deleted from a set before the set itself becomes negligible. . To do this natural tree-theoretic structures such as the Baire topology are introduced, and the Baire Category Theorem is extended to a statement that a $\aleph$-sequentially complete binary tree representation of a Hausdorff topological space that has a clopen base of cardinality $\aleph$ and no isolated or discrete points is not the union of $<\aleph+1$-many nowhere dense subsets for cardinal …