Archives
Keywords
Minimal Walks Reduced Power weak square countably metacompact Strongly compact cardinal Precaliber Open Access Rock n' Roll Rado's conjecture weak diamond projective Boolean algebra reflection principles Subtle cardinal Jonsson cardinal Selective Ultrafilter Chromatic number Subadditive Almost countably chromatic strongly bounded groups Sierpinski's onto mapping principle Entangled linear order Distributive tree specializable Souslin tree Singular cardinals combinatorics Hedetniemi's conjecture Coherent tree P-Ideal Dichotomy Mandelbrot set very good scale Analytic sets square principles Postprocessing function Local Club Condensation. SNR Diamond-sharp Sigma-Prikry incompactness Microscopic Approach Successor of Singular Cardinal Cohen real Ulam matrix Rainbow sets Forcing Antichain higher Baire space nonmeager set diamond star Parameterized proxy principle Greatly Mahlo Singular Density approachability ideal Well-behaved magma Was Ulam right? Cardinal function Interval topology on trees PFA(S)[S] Slim tree Large Cardinals Hereditarily Lindelöf space Vanishing levels Almost-disjoint family positive partition relation indecomposable filter Filter reflection coloring number Shelah's Strong Hypothesis Erdos-Hajnal graphs Partition Relations tensor product graph GMA Almost Souslin Nonspecial tree Knaster Absoluteness polarized partition relation Martin's Axiom Sakurai's Bell inequality Ramsey theory over partitions Strong coloring Erdos Cardinal Ascending path Fodor-type reflection L-space super-Souslin tree Constructible Universe regressive Souslin tree free Boolean algebra PFA Lipschitz reduction Uniformly homogeneous Closed coloring Subtle tree property Successor of Regular Cardinal square Foundations Monotonically far AIM forcing b-scale Hindman's Theorem Weakly compact cardinal perfectly normal Uniformization Prikry-type forcing stick Intersection model Chang's conjecture O-space Commutative projection system HOD Commutative cancellative semigroups Reflecting stationary set Generalized Clubs sap Aronszajn tree Diamond for trees middle diamond OCA Knaster and friends Luzin set Prevalent singular cardinals Poset Forcing Axioms ZFC construction weak Kurepa tree Singular cofinality transformations Dushnik-Miller Souslin Tree Square-Brackets Partition Relations xbox Forcing with side conditions Diamond unbounded function Club Guessing Small forcing Generalized descriptive set theory Ostaszewski square S-Space Respecting tree C-sequence club_AD free Souslin tree stationary reflection stationary hitting Cardinal Invariants Partition relations for trees Iterated forcing Subnormal ideal Kurepa Hypothesis full tree Uniformly coherent Amenable C-sequence Countryman line Fast club Axiom R Strongly Luzin set Non-saturation Whitehead Problem 54G20 Dowker space Ascent Path Fat stationary set ccc Universal Sequences Ineffable cardinal
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
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 Cardinal Invariants, 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
