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

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

# 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