### 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

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

# 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