Impact
~3k
people reached
- 0 posts edited
- 0 helpful flags
- 35 votes cast
Aug
27 |
awarded | Yearling |
May
26 |
awarded | Enlightened |
May
26 |
awarded | Nice Answer |
May
21 |
answered | Graph on the set of all functions $f:\mathbb{N}\to\mathbb{N}$ |
May
20 |
awarded | Enlightened |
May
20 |
awarded | Nice Answer |
May
20 |
awarded | Yearling |
May
20 |
awarded | Editor |
May
20 |
revised |
Graph $G$ with $\omega(G) = 2$ but $\chi(G) \geq \aleph_0$
added 293 characters in body |
May
20 |
answered | Graph $G$ with $\omega(G) = 2$ but $\chi(G) \geq \aleph_0$ |
May
9 |
answered | monochromatic cycle-free colouring of the complete graph on R? |
Apr
24 |
comment |
name for an intermediate notion between huge and 2-huge
In Magidor and Shelah's paper, "The tree property at successors of singular cardinals," a cardinal $\kappa$ is called $\tau$-huge if there is an elementary embedding $j:V \rightarrow M$ with critical point $\kappa$ such that $\kappa < \tau < j(\kappa) < j(\tau)$ and $M^{j(\tau)} \subseteq M$. |
Nov
6 |
awarded | Yearling |
Nov
5 |
answered | A Special Pair of Models for ZFC (New Version) |
Oct
28 |
accepted | Square and stationary reflection |
Oct
28 |
comment |
Square and stationary reflection
Yes, a Harrington-Shelah style forcing construction works for every regular, uncountable $\kappa$. In fact, it can be shown that, in the generic extension, we have a $\square(\kappa^+)$ sequence whose clubs avoid a stationary subset of $S^{\kappa^+}_\kappa$. I'm not sure about the situation for singular $\kappa$, though. |
May
26 |
awarded | Enthusiast |
Jan
31 |
awarded | Scholar |
Jan
31 |
accepted | Existence of scales with special properties |
Jan
30 |
answered | Existence of scales with special properties |