Reputation
718
Top tag
Next privilege 1,000 Rep.
See votes, expandable usercard
Badges
6 7
Newest
 Yearling
Impact
~3k people reached

  • 0 posts edited
  • 0 helpful flags
  • 36 votes cast
Feb
23
answered $\omega$-colorings of $\kappa^2$
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