### Archives

### Recent blog posts

- Genearlizations of Martin’s Axiom and the well-met condition January 11, 2015
- Many diamonds from just one January 6, 2015
- Happy new jewish year! September 24, 2014
- 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

### Keywords

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

# 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