Archives
Keywords
Mandelbrot set specializable Souslin tree tensor product graph unbounded function square principles nonmeager set polarized partition relation Erdos Cardinal Minimal Walks Sigma-Prikry stationary reflection club_AD b-scale Subadditive Hereditarily Lindelöf space Chromatic number OCA Open Access regressive Souslin tree Subtle tree property Prikry-type forcing Hindman's Theorem coloring number sap Strongly Luzin set Reflecting stationary set countably metacompact free Boolean algebra Prevalent singular cardinals Generalized Clubs projective Boolean algebra Analytic sets L-space stationary hitting positive partition relation Postprocessing function Filter reflection Distributive tree Subnormal ideal Absoluteness Lipschitz reduction Iterated forcing Square-Brackets Partition Relations Successor of Singular Cardinal Poset transformations Fodor-type reflection Almost-disjoint family Dowker space full tree Aronszajn tree Well-behaved magma approachability ideal P-Ideal Dichotomy Dushnik-Miller Large Cardinals free Souslin tree AIM forcing Subtle cardinal super-Souslin tree HOD Sakurai's Bell inequality Nonspecial tree Antichain 54G20 Generalized descriptive set theory GMA Whitehead Problem Weakly compact cardinal Almost Souslin Rainbow sets stick Vanishing levels Erdos-Hajnal graphs Amenable C-sequence square Singular cardinals combinatorics Cardinal Invariants ZFC construction Diamond for trees Slim tree Commutative cancellative semigroups incompactness S-Space Reduced Power Forcing Axioms Universal Sequences Was Ulam right Hedetniemi's conjecture Axiom R Ostaszewski square Club Guessing Constructible Universe Fast club Fat stationary set Luzin set Partition Relations Selective Ultrafilter reflection principles Sierpinski's onto mapping principle higher Baire space Knaster and friends Uniformly homogeneous Rock n' Roll Strong coloring Cardinal function Rado's conjecture Almost countably chromatic Microscopic Approach Cohen real Ulam matrix Chang's conjecture Coherent tree strongly bounded groups Precaliber Foundations middle diamond Forcing Knaster PFA Greatly Mahlo xbox Parameterized proxy principle very good scale weak diamond O-space Successor of Regular Cardinal Uniformly coherent Singular Density Jonsson cardinal Uniformization Non-saturation Small forcing Martin's Axiom Kurepa Hypothesis Local Club Condensation. Diamond Souslin Tree Ascent Path Closed coloring C-sequence Diamond-sharp Singular cofinality weak square diamond star Ineffable cardinal ccc Shelah's Strong Hypothesis SNR indecomposable ultrafilter PFA(S)[S] Ramsey theory over partitions
Tag Archives: P-Ideal Dichotomy
Knaster and friends III: Subadditive colorings
Joint work with Chris Lambie-Hanson. Abstract. We continue our study of strongly unbounded colorings, this time focusing on subadditive maps. In Part I of this series, we showed that, for many pairs of infinite cardinals $\theta < \kappa$, the existence … Continue reading
Posted in Partition Relations, Publications
Tagged Ascent Path, Knaster and friends, Open Access, P-Ideal Dichotomy, sap, square, Subadditive, Uniformly coherent
1 Comment
The S-space problem, and the cardinal invariant $\mathfrak p$
Recall that an $S$-space is a regular hereditarily separable topological space which is not hereditarily Lindelöf. Do they exist? Consistently, yes. However, Szentmiklóssy proved that compact $S$-spaces do not exist, assuming Martin’s Axiom. Pushing this further, Todorcevic later proved that … Continue reading
Posted in Blog, Expository, Open Problems
Tagged Hereditarily Lindelöf space, P-Ideal Dichotomy, PFA(S)[S], S-Space
4 Comments
The P-Ideal Dichotomy and the Souslin Hypothesis
John Krueger is visiting Toronto these days, and in a conversation today, we asked ourselves how do one prove the Abraham-Todorcevic theorem that PID implies SH. Namely, that the next statement implies that there are no Souslin trees: Definition. The … Continue reading
Dushnik-Miller for regular cardinals (part 3)
Here is what we already know about the Dushnik-Miller theorem in the case of $\omega_1$ (given our earlier posts on the subject): $\omega_1\rightarrow(\omega_1,\omega+1)^2$ holds in ZFC; $\omega_1\rightarrow(\omega_1,\omega+2)^2$ may consistently fail; $\omega_1\rightarrow(\omega_1,\omega_1)^2$ fails in ZFC. In this post, we shall provide … Continue reading