### Archives

### Recent blog posts

- Square principles April 19, 2014
- Partitioning the club guessing January 22, 2014
- Walk on countable ordinals: the characteristics December 1, 2013
- Polychromatic colorings November 26, 2013
- Universal binary sequences November 14, 2013
- Syndetic colorings with applications to S and L October 26, 2013
- Open coloring and the cardinal invariant $\mathfrak b$ October 8, 2013
- Gabriel Belachsan (14/5/1976 – 20/8/2013) August 20, 2013

### Keywords

Hereditarily Lindelöf space Rock n' Roll Uniformization Rado's conjecture stationary reflection free Boolean algebra Cardinal Invariants Non-saturation Aronszajn tree Large Cardinals Foundations very good scale Prevalent singular cardinals Whitehead Problem Martin's Axiom Kurepa Hypothesis stationary hitting L-space Diamond PFA sap tensor product graph Hedetniemi's conjecture diamond star Erdos-Hajnal graphs approachability ideal Singular Cofinality ccc reflection principles S-Space weak square Successor of Singular Cardinal Ostaszewski square Club Guessing projective Boolean algebra Square-Brackets Partition Relations P-Ideal Dichotomy Dushnik-Miller square Shelah's Strong Hypothesis Erdos Cardinal Cohen real Almost-disjoint famiy Prikry-type forcing Antichain Universal Sequences Singular cardinals combinatorics Almost countably chromatic Minimal Walks Cardinal function weak diamond Generalized Clubs Forcing Constructible Universe incompactness Sakurai's Bell inequality Axiom R OCA polarized partition relation Chromatic number Successor of Regular Cardinal Souslin Tree PFA(S)[S] Small forcing Absoluteness Knaster Rainbow sets Weakly compact cardinal Singular Density b-scale middle diamond Partition Relations Mandelbrot set Forcing Axioms Poset

# Tag Archives: 54G15

## A topological reflection principle equivalent to Shelah’s strong hypothesis

Abstract: We notice that Shelah’s Strong Hypothesis (SSH) is equivalent to the following reflection principle: Suppose $\mathbb X$ is an (infinite) first-countable space whose density is a regular cardinal, $\kappa$. If every separable subspace of $\mathbb X$ is of cardinality at most … Continue reading